search

Smaug123 / agdaproofs

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

Met and Top first lecture, and some more graphs #99

Closed Smaug123 closed 4 years ago