Awesome Open Source

Programming Languages

Search results for homotopy type theory univalent foundations

homotopy-type-theory x

univalent-foundations x

8 search results found

Coq Hott ⭐ 1,210

A Coq library for Homotopy Type Theory

Cubicaltt ⭐ 547

Experimental implementation of Cubical Type Theory

Typetopology ⭐ 207

Logical manifestations of topological concepts, and other things, via the univalent point of view.

Hott Uf Agda Lecture Notes ⭐ 204

Lecture notes on univalent foundations of mathematics with Agda

Agda Unimath ⭐ 196

The agda-unimath library

Agda formalisation of the Introduction to Homotopy Type Theory

Formal Topology In Uf ⭐ 27

Formal Topology in Univalent Foundations (WIP).

Castle Bravo: Experimental HoTT Implementation

Related Searches

Agda Homotopy Type Theory (7)

Type Theory Univalent Foundations (7)

Types Homotopy Type Theory (5)

Agda Univalent Foundations (5)

Proof Assistant Homotopy Type Theory (4)

Homotopy Type Theory Univalent Mathematics (4)

Homotopy Type Theory Hott (4)

Dependent Types Homotopy Type Theory (3)

Definition Homotopy Type Theory (3)

Ocaml Homotopy Type Theory (3)

1-8 of 8 search results

Privacy | About | Terms | Follow Us On Twitter

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