Awesome Open Source

Programming Languages

Search results for homotopy type theory

homotopy-type-theory x

20 search results found

Coq Hott ⭐ 1,221

A Coq library for Homotopy Type Theory

Cubicaltt ⭐ 547

Experimental implementation of Cubical Type Theory

A formalised, cross-linked reference resource for mathematics done in Homotopy 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

An experimental proof assistant based on a type theory for synthetic ∞-categories.

Agda formalisation of the Introduction to Homotopy Type Theory

A formalization of category theory in cubical Agda

Isabelle Hott ⭐ 29

An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle

Formal Topology In Uf ⭐ 27

Formal Topology in Univalent Foundations (WIP).

🧊 An indexed construction of semi-simplicial and semi-cubical types

Ground_zero ⭐ 23

Ground Zero: Lean 4 HoTT Library

🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory

Univalence From Scratch ⭐ 15

Univalence from scratch in Idris

Anders: Cubical Type Checker

Trace Monoids ⭐ 6

Trace monoids in Cubical Agda

Castle Bravo: Experimental HoTT Implementation

Two Level ⭐ 5

Two-Level Type Theory

Related Searches

Agda Homotopy Type Theory (9)

Homotopy Type Theory Univalent Foundations (7)

Proof Assistant Homotopy Type Theory (6)

Types Homotopy Type Theory (5)

Homotopy Type Theory Univalent Mathematics (4)

Homotopy Type Theory Hott (4)

Dependent Types Homotopy Type Theory (4)

Definition Homotopy Type Theory (3)

Mathematics Homotopy Type Theory (3)

Ocaml Homotopy Type Theory (3)

1-20 of 20 search results

Privacy | About | Terms | Follow Us On Twitter

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