some simple&naive formal proof of trivial Number Theory, using Agda/Coq, just to practice skills
-
Updated
Feb 10, 2019 - Agda
some simple&naive formal proof of trivial Number Theory, using Agda/Coq, just to practice skills
Formal proofs of some elementary mathematical statements
An exploration of fumulas in Agda—a new perspective on ring theory
Examples to get some practice on functional programming and formal proofs
Add a description, image, and links to the formal-proofs topic page so that developers can more easily learn about it.
To associate your repository with the formal-proofs topic, visit your repo's landing page and select "manage topics."