Similar repositories to Odomontois/Tincat:
Odomontois/Tincat
github
similar
groupoid/arend
github
similar
o4/n2o
github
similar
mjendrusch/lean-falso
github
similar
awodey/Impredicative
github
similar
awkure/hpt
github
similar
DmytroMitin/arend-exercises
github
similar
groupoid/hopf
github
similar
felixwellen/FastFluidDynamics
github
similar
jpaykin/QuantumHIT
github
similar
Kha/HoTT-book-agda
github
similar
o4/proto
github
similar
moshott/geocoq
github
similar
Boarders/agda-halting
github
similar
o29/n2o
github
similar
Kaptch/course_project_3year
github
similar
valis/DT2018
github
similar
groupoid/anders
github
similar
devaspot/lisp
github
similar
arthurpaulino/LeanMusic
github
similar
MaiaVictor/escoc-libs-legacy
github
similar
groupoid/infinity
github
similar
groupoid/agda
github
similar
tcampion/Semisimplicial
github
similar
groupoid/homotopy
github
similar
5HT/tonpa.guru
github
similar
annenkov/two-level
github
similar
leanprover/lean4-nightly
github
similar
erpuno/agent
github
similar
nmvdw/Three-HITs
github
similar
pcapriotti/hott-exercises
github
similar
o1/n2o
github
similar
longchenpa/tonpa.guru
github
similar
groupoid/groupoid.space
github
similar
mortberg/AlgTop
github
similar
kcsmnt0/quotient
github
similar
pcapriotti/agda-categories
github
similar
felixwellen/DCHoTT-Agda
github
similar
MWRuszczycky/rubiks
github
similar
liamoc/hilbert
github
similar