Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with univalence

A curated list of projects in awesome lists tagged with univalence .

https://github.com/hott/hott-agda

Development of homotopy type theory in Agda

agda homotopy hott univalence

Last synced: 08 Nov 2024

https://github.com/HoTT/HoTT-Agda

Development of homotopy type theory in Agda

agda homotopy hott univalence

Last synced: 03 Nov 2024

https://github.com/egbertrijke/hott-intro

An introductory course to Homotopy Type Theory

agda book coq formalization hott mathematics univalence

Last synced: 27 Sep 2024

https://github.com/EgbertRijke/HoTT-Intro

An introductory course to Homotopy Type Theory

agda book coq formalization hott mathematics univalence

Last synced: 08 Nov 2024

https://github.com/langston-barrett/reed-thesis

My undergradate thesis on coinductive types in univalent type theory

category-theory mathematics thesis type-theory unimath univalence univalent-foundations

Last synced: 23 Oct 2024

https://github.com/gergoerdi/hott-exercise

HoTT exercise for my Haskell.SG meetup talk on HoTT and CTT

agda homotopy-type-theory univalence

Last synced: 16 Nov 2024