Information on the proof systems in the TYPES working group

• The ALF family of Proof Assistants. This includes ALF , Agda, and Alfa.
• The Coq Proof Assistant
  • Surfing on the Coq's contrib
• The Proof General.
• The Grammatical Framework (GF).
• Isabelle
  • Isabelle Logics
• The LEGO Proof Assistant
• The PLASTIC Proof Assistant
• The Yarrow Proof Assistant