cyclist-org / cyclist
A cyclic theorem prover framework.
☆28Updated 3 weeks ago
Related projects: ⓘ
- Coq formalizations of Sequent Calculus, Natural Deduction, etc. systems for propositional logic☆44Updated 8 years ago
- MoCHi: Model Checker for Higher-Order Programs☆41Updated 11 months ago
- A formalisation of the Calculus of Constructions