homotopy type theory (Q5891840)

From Wikidata
Jump to: navigation, search
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]