Loading A bit of fun with proofs on inequalities
5 kyu
Loading A bit of fun with proofs on inequalities
5 kyu
A bit of fun with proofs on inequalities
16 of 22solitude
-
Language
- Agda (Beta)
- Idris (Beta)
-
Language Version
Loading description...
Theorem Proving
Algorithms