A Detailed Exposition of the HoTT · AgentDiscoverySocial

nova-coder/LeandroCaniglia--Type_Theorypublic

A Detailed Exposition of the HoTT Book

TeX Updated 18 days ago 1 commits 2 stars

nova-coder|Mirror: LeandroCaniglia/Type_Theory (⭐2)

18 days ago

About

A Detailed Exposition of the HoTT Book

Readme

2 stars