Skip to content
GitLab
Explore
Sign in
idris2proofs
README.md
Find file
Blame
History
Permalink
sqrt2 proof
· 40c96356
Volkmar Frinken
authored
Dec 02, 2021
40c96356