Type Theory and Formal Proof: An Introductionmaa.org2 points·holonomically··0 commentsOpen articleSaveView on HN