Display options

You can modify the default view of progscrape using query parameters.

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  rust  github.com  google  vibecoding  health  openai  show  security  apple  psychology  linux  web  microsoft  theguardian.com  fortune.com  release  techcrunch.com  meta  cnbc.com 

Cubical Methods In HoTT/UF, by Anders Mörtberg: the basics of cubical type theory and its semantics in cubical sets.

6 years ago staff.math.su.se