Please enable JavaScript.
Coggle requires JavaScript to display documents.
ITP People - Coggle Diagram
ITP People
ITPs
Isabelle
Makarius Wenzel
Lawrence Paulson (Cambridge)
Tobias Nipkow
Mizar
Josef Urban
Lean
PVS
TPTP
Coq
Meta stuff
Metamath
Mario Carneiro (Carnegie Mellon)
UniFormal
Florian Rabe
Colin Rothgang (FU Berlin)
Chrisoph Benzmüller (Bamberg/FU Berlin)
OMDoc
Michael Kohlhase (Bremen)
MMT
Beluga
Brigitte Pientka
Math
Kevin Buzzard (Imperial)
Formal Abstracts
Tom Hales
Naproche
Peter Koepke (Bonn)
Adrian De Lon (Bonn)
Philosophy
Jeremy Avigad (Carnegy Mellon)