A Calculus Of Constructions based Automated Theorem Prover.

• results.v Some results written in Coq

A web interface to see expanded nodes in the reasoning: