Smaug123 / agdaproofs

Mathematical proofs in Agda
MIT License
4 stars 1 forks source link

Definitions for the reals, classically #95

Closed Smaug123 closed 4 years ago

Smaug123 commented 4 years ago

I'm just wishing them into existence, as 1A Numbers and Sets did.