Q5891840

From Wikidata
Jump to: navigation, search

homotopy type theory(Q5891840)

No description defined
  • HoTT
[edit]
Language Label Description Also known as
English
homotopy type theory
No description defined
  • HoTT

Statements

[edit]
[edit]
[edit]
[edit]
[edit]
[edit]