CSC535: Coq: Some Proof Assistants [17/21]

There are now a number of mature, sophisticated, and widely used proof assistants...

• Isabelle/HOL (Cambridge / Munich)
• Twelf (CMU)
• Coq (INRIA)
• Agda (Chalmers)
• ...