Main

Dr. Makarius Wenzel

makarius@nullsketis.net (OpenPGP public key)


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