Awesome Open Source

Programming Languages

Search results for definition homotopy type theory

homotopy-type-theory x

3 search results found

Formal Topology In Uf ⭐ 27

Formal Topology in Univalent Foundations (WIP).

Univalence From Scratch ⭐ 15

Univalence from scratch in Idris

Two Level ⭐ 5

Two-Level Type Theory

Related Searches

Javascript Definition (1,592)

Python Definition (981)

Typescript Definition (908)

Types Definition (522)

Css Definition (96)

Emacs Definition (40)

Paper Definition (15)

Definition Topology (11)

Definition Identity (11)

Definition Thesis (10)

1-3 of 3 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.