Q5891840

From Wikidata
Jump to: navigation, search

Homotopy type theory (Q5891840)[edit]

No description defined yet [edit]

Also known as:
  • HoTT
[edit]

Statements