Introduction to Univalent Foundations of Mathematics with Agda

(martinescardo.github.io)

3 points | by panic a day ago ago

No comments yet.