search

Smaug123 / agdaproofs

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

Unfinished ordinals stuff and a tiny bit of division #131

Closed Smaug123 closed 3 years ago