Homotopy Type Theory receives $7.5 million DoD grantcmu.edu3 points·ihnorton··0 commentsOpen articleSaveView on HN