HN Explorer

hikingsimulator

↗ HN profile [ 72.4 ms ] full profile
Karma
0
Created
()
Submissions
25
  1. Introduction to Homotopy Type Theory (arxiv.org)
    2 points 1