search

Smaug123 / agdaproofs

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

Cauchy-completion, first parts #52

Closed Smaug123 closed 5 years ago

Smaug123 commented 5 years ago

Specifically the definition of Cauchy-completion and the definition of +