C cs.bham.ac.uk Introduction to Univalent Foundations of Mathematics with Agda 114 points haltist 3 years ago 6 comments
