Homotopy Type Theory, Univalence, Path Types, Higher Inductive Types
ActivityPub 与去中心化社交 - 印记
yinji.org·6h
Jim Walden’s Connecticut Plates
thenewleafjournal.com·4h
Loading...Loading more...
Homotopy Type Theory, Univalence, Path Types, Higher Inductive Types