Similar repositories to ericfinster/opetopictt:

• ericfinster/opetopictt github similar
• Borschemancer/axiomatic-sets github similar
• felixwellen/synthetic-geometry github similar
• Trebor-Huang/ZFC github similar
• mb64/xtt github similar
• arthuraa/agda-hoas-demo github similar
• adrieng/melitte github similar
• plt-amy/cubical-methods github similar
• kcsmnt0/quotient github similar
• Trebor-Huang/Down-The-Path github similar
• TOTBWF/teenytt github similar
• mikeshulman/ohtt github similar
• fizruk/rzk github similar
• ice1000/guest0x0 github similar
• Guest0x0/normalization-bench github similar
• guillaumebrunerie/initiality github similar
• felixwellen/DCHoTT-Agda github similar
• jldodds/coq-lean-cheatsheet github similar
• AndrasKovacs/setoidtt github similar
• HoTT-Intro/Agda github similar
• digama0/lean-type-theory github similar
• jozefg/blott github similar
• RedPRL/cooltt github similar
• simhu/cubical github similar
• aya-prover/aya-dev github similar
• plt-amy/1lab github similar
• tsoding/Noq github similar
• mattam82/Coq-Equations github similar
• RedPRL/redtt github similar
• UniMath/SymmetryBook github similar
• Deducteam/lambdapi github similar
• ollef/sixty github similar
• agda/agda-categories github similar
• agda/cubical github similar
• AndrasKovacs/elaboration-zoo github similar
• AndrasKovacs/smalltt github similar
• math-comp/math-comp github similar
• sweirich/pi-forall github similar
• granule-project/granule github similar
• UniMath/UniMath github similar