Introduction to Univalent Foundations of Mathematics with Agda(cs.bham.ac.uk)104 points by haltist 3 years ago | 6 comments