theorem-proving topic
informatica-public
Public code developed during my MSc study at University of Bologna
Set-Theory
A formalization of the textbook Elements of Set Theory
gamepad
A Learning Environment for Theorem Proving
pyprover
Resolution theorem proving for predicate logic in pure Python.
functional-algebra
This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the package span monoids, groups, rings, and fields and provides both a...
Language-Toolkit-2
A set of tools for analyzing languages via logic and automata
fm-notes
Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on
coqprime
Prime numbers for Coq
pomagma
An inference engine for extensional untyped λ-calculus