Dr. Markus “Makarius” Wenzel
- Publications
- Publications indexed by DBLP
- Isabelle software releases
Notable software projects
- Isabelle: a generic proof assistant and platform for Interactive Theorem Proving (ITP)
- 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
- Conference on Intelligent Computer Mathematics (CICM 2019), Prague (CZ), 08..12-Jul-2019
- Large Mathematical Libraries Workshop (LML 2019), Prague (CZ), 10-Jul-2019, associated with CICM 2019
- F-IDE Workshop 2019, 07-Oct-2019, Porto (PT), associated with FM 2019