some simple&naive formal proof of trivial Number Theory, using Agda/Coq, just to practice skills
Primary LanguageAgdaApache License 2.0Apache-2.0