GitHub topics: univalent-mathematics
UniMath/agda-unimath
The agda-unimath library
Language: Agda - Size: 27.9 MB - Last synced at: about 16 hours ago - Pushed at: about 17 hours ago - Stars: 249 - Forks: 76
martinescardo/TypeTopology
Logical manifestations of topological concepts, and other things, via the univalent point of view.
Language: Agda - Size: 17.6 MB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 253 - Forks: 45
ayberkt/formal-topology-in-UF
Formal Topology in Univalent Foundations (WIP).
Language: CSS - Size: 10.5 MB - Last synced at: 12 days ago - Pushed at: over 2 years ago - Stars: 36 - Forks: 2
amato-gianluca/MyHOTT
My implementation of the HOTT/UF book
Language: Coq - Size: 27.3 KB - Last synced at: 23 days ago - Pushed at: 23 days ago - Stars: 0 - Forks: 0
rahulc29/realizability
Experiments with Realizability in Univalent Type Theory
Language: HTML - Size: 8.21 MB - Last synced at: 12 days ago - Pushed at: 6 months ago - Stars: 18 - Forks: 1
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: 28.9 MB - Last synced at: 8 days ago - Pushed at: about 1 month ago - Stars: 3 - Forks: 1
lane-core/kitcat
Kitcat is an experimental Univalent mathematics library for proof theory, category theory, and computer science formalization in Agda
Language: Agda - Size: 134 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 5 - Forks: 0
fredrik-bakke/forest
Language: Shell - Size: 1.14 MB - Last synced at: 11 days ago - Pushed at: 6 months ago - Stars: 3 - Forks: 0
martinescardo/HoTT-UF-Agda-Lecture-Notes
Lecture notes on univalent foundations of mathematics with Agda
Language: Agda - Size: 5.8 MB - Last synced at: 5 months ago - Pushed at: about 1 year ago - Stars: 219 - Forks: 18
HoTT-Intro/Agda
Agda formalisation of the Introduction to Homotopy Type Theory
Language: Agda - Size: 6.82 MB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 110 - Forks: 4
