MrChico / Reals-in-agda

Constructive definition of real numbers implemented in agda.
10Updated 8 years ago

Related projects

Alternatives and complementary repositories for Reals-in-agda