Similar repositories to neugierde/cantors-attic:
neugierde/cantors-attic
github
similar
math-comp/hierarchy-builder
github
similar
wo/tpg
github
similar
mattam82/Coq-Equations
github
similar
martinescardo/HoTT-UF-Agda-Lecture-Notes
github
similar
MetaCoq/metacoq
github
similar
agda/cubical
github
similar
EgbertRijke/HoTT-Intro
github
similar
math-comp/math-comp
github
similar
stacks/stacks-project
github
similar
UniMath/UniMath
github
similar
OpenLogicProject/OpenLogic
github
similar
HoTT/HoTT
github
similar
coq/coq
github
similar
OpenMW/openmw
github
similar
rust-lang/cargo
github
similar
jgm/pandoc
github
similar
python/cpython
github
similar
rust-lang/rust
github
similar
ohmyzsh/ohmyzsh
github
similar