Dr. Makarius Wenzel

makarius@nullsketis.net (OpenPGP public key)

• Publications
• Publications indexed by DBLP
• Isabelle software releases

---

Notable software projects

• Isabelle: a generic proof assistant and platform for Interactive Theorem Proving (ITP)
• Isabelle/AFP: The Archive of Formal Proofs
• Poly/ML: a full implementation of Standard ML (SML’97) with native support for multicore hardware (used as back-end platform for Isabelle)
• jEdit: Programmer’s Text Editor (used as front-end of the Isabelle Prover IDE, which is properly called Isabelle/jEdit)

---

Notable scientific events

• Interactive Theorem Proving (ITP 2023), Białystok (Poland), 31-Jul..04-Aug-2023.
• Mizar 50 Workshop, colocated with ITP 2023.