Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: univalent-mathematics
martinescardo/HoTT-UF-Agda-Lecture-Notes
Lecture notes on univalent foundations of mathematics with Agda
Language: Agda - Size: 5.8 MB - Last synced: 6 days ago - Pushed: about 2 months ago - Stars: 213 - Forks: 18
UniMath/agda-unimath
The agda-unimath library
Language: Agda - Size: 26.4 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 206 - Forks: 63
martinescardo/TypeTopology
Logical manifestations of topological concepts, and other things, via the univalent point of view.
Language: Agda - Size: 14.2 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 211 - Forks: 39
rahulc29/realizability
Experiments with Realizability in Univalent Type Theory
Language: Agda - Size: 4.86 MB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 10 - Forks: 1
HoTT-Intro/Agda
Agda formalisation of the Introduction to Homotopy Type Theory
Language: Agda - Size: 6.82 MB - Last synced: 7 months ago - Pushed: over 2 years ago - Stars: 110 - Forks: 4
amato-gianluca/MyHOTT
My implementation of the HOTT/UF book
Language: Coq - Size: 22.5 KB - Last synced: 12 months ago - Pushed: 12 months ago - Stars: 0 - Forks: 0
ayberkt/formal-topology-in-UF
Formal Topology in Univalent Foundations (WIP).
Language: CSS - Size: 10.5 MB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 29 - Forks: 2
amato-gianluca/UniMath Fork of UniMath/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Language: Coq - Size: 27 MB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 3 - Forks: 1