matita

Interactive theorem prover
  http://matita.cs.unibo.it
  0
  no reviews


Matita is a graphical interactive theorem prover based on the calculus of (co)inductive constructions.