TNT
some simple&naive formal proof of trivial Number Theory, using Agda/Coq, just to practice skills
// repository documentation
Was this content helpful?
(0 ratings)