Projects tagged with homotopy-type-theory

Navigation

Projects

Signed in as: AnonymousUser

Settings Log out

Help

Support Docs Getting started Status

Sign up

Log in

Projects tagged

homotopy-type-theory

mini-hott

Last built 3 years, 5 months ago

latest

#12571573

latest #12571573

3 years, 5 months ago

1c9acd4c

41 seconds

Stay updated

Blog Newsletter Status

Learn more

Documentation Getting started guide Configure your project

Services

Pricing Features Advertise with Us Privacy Policy Terms of Service

About us

Company Team Contributing

Tools

Sphinx

Version

10.26.0

Language

English

Catalan

català

English

Spanish

español

Brazilian Portuguese

Português Brasileiro

Norwegian Bokmal

norsk (bokmål)

French

français

Russian

Русский

German

Deutsch

Galician

galego

Vietnamese

Tiếng Việt

Simplified Chinese

简体中文

Traditional Chinese

繁體中文

Japanese

日本語

Ukrainian

Українська

Italian

italiano

Korean

한국어