Similar repositories to limemloh/cubical-congruence:
limemloh/cubical-congruence
github
similar
mikeshulman/ohtt
github
similar
smlnj/smlnj
github
similar
gibiansky/IHaskell
github
similar
ralsei/six-eyes
github
similar
plt-amy/cubical-methods
github
similar
groupoid/anders
github
similar
andrejbauer/higher-rank-syntax
github
similar
TOTBWF/agda-groups
github
similar
pamellies/models-of-programming-languages
github
similar
kckennylau/mathlib4
github
similar
nachivpn/k
github
similar
martinescardo/HoTTEST-Summer-School
github
similar
thautwarm/original-posting
github
similar
pigworker/SmolCat
github
similar
maxsnew/cubical-cbpv
github
similar
oven-sh/bun
github
similar
ericfinster/opetopic-types
github
similar
HarrisonGrodin/agda-modtt
github
similar
RedPRL/mugen
github
similar
jonsterling/coq-domains
github
similar
mb64/xtt
github
similar
nachivpn/expelim
github
similar
martinescardo/EffectfulForcing
github
similar
AndrasKovacs/thesis
github
similar
JacquesCarette/agda-algebras
github
similar
thautwarm/typed-jsonrpc
github
similar
mmcqd/fibertt
github
similar
TOTBWF/cooltt-categories
github
similar
peterlefanulumsdaine/palmgren-archive
github
similar
FrozenWinters/SbE
github
similar
silvanshade/cool-tt
github
similar
jashug/WhyNotW
github
similar
JLimperg/msc-thesis-code
github
similar
RedPRL/algaett
github
similar
marcinjangrzybowski/cubeViz
github
similar
RedPRL/ocaml-bwd
github
similar
RedPRL/asai
github
similar
EgbertRijke/OEIS-A000001
github
similar
L-TChen/ModalTypeTheory
github
similar