A

agda-real

A formalisation of the real numbers in dependent type theory using the Agda programming language.

Name
Last commit
Last update
CommutativeRing Loading commit data...
Integer Loading commit data...
Rational Loading commit data...
Real Loading commit data...
Topology Loading commit data...
.gitignore Loading commit data...
COPYING Loading commit data...
FormalRealLine.agda Loading commit data...
Integer.agda Loading commit data...
Makefile Loading commit data...
README.md Loading commit data...
Rational.agda Loading commit data...
Real.agda Loading commit data...
Test.agda Loading commit data...
agda-real.agda-lib Loading commit data...