New top story on Hacker News: Introduction to Univalent Foundations of Mathematics with Agda

Introduction to Univalent Foundations of Mathematics with Agda
9 by haltist | 0 comments on Hacker News.


November 11, 2023 at 11:26PM haltist 9 https://ift.tt/56h1azH Introduction to Univalent Foundations of Mathematics with Agda 0 https://ift.tt/36KFnmI