Add reference to MRR88 in files about apartness relations - Githubissues

UniMath / agda-unimath

The agda-unimath library

https://unimath.github.io/agda-unimath/

MIT License

211 stars 67 forks source link

Add reference to MRR88 in files about apartness relations #1128

Closed fredrik-bakke closed 1 month ago