I am a Master student of Computer Science at the University of Bonn looking to start my PhD at Edinburgh in the fall. I have previously worked with Peter Koepke on the proof assistant Naproche (and contributed the web version) and with Daan Leijen on Koka.

Publications

2022

Reference Counting with Frame Limited Reuse

Anton Lorenzen, Daan Leijen
Draft [technical report]

2021

Optimizing Reference Counting with Borrowing

Extended version of my Master thesis [pdf]

Beautiful Formalizations in Isabelle/Naproche

Adrian De Lon, Peter Koepke, Anton Lorenzen, Adrian Marti, Marcel Schütz, Erik Sturzenhecker
CICM 2021

The Isabelle/Naproche Natural Language Proof Assistant

Adrian De Lon, Peter Koepke, Anton Lorenzen, Adrian Marti, Marcel Schütz, Makarius Wenzel
CADE 2021

A Natural Formalization of the Mutilated Checkerboard Problem in Naproche

Adrian De Lon, Peter Koepke, Anton Lorenzen
ITP 2021

2020

Interpreting Mathematical Texts in Naproche-SAD

Adrian De Lon, Peter Koepke, Anton Lorenzen
CICM 2020