Similar repositories to valis/HoTT:

• valis/HoTT github similar
• hecrj/iced github similar
• valis/hott-doc github similar
• peterlefanulumsdaine/Oberwolfach-explorations github similar
• arend-lang/tutorial-code github similar
• llee454/functional-algebra github similar
• orchid-hybrid/minimips github similar
• webyrd/slpKanren github similar
• gallais/parseque github similar
• andrejbauer/dedekind-reals github similar
• peterlefanulumsdaine/general-type-theories github similar
• JetBrains/arend-lib github similar
• coq-community/manifesto github similar
• keyz/p423-compiler github similar
• pi8027/lambda-calculus github similar
• JetBrains/intellij-arend github similar
• valis/hoq github similar
• lexi-lambda/racket-r7rs github similar
• andrejbauer/Homotopy github similar
• slamdata/truffled-purescript github similar
• TheoWinterhalter/formal-type-theory github similar
• UniMath/TypeTheory github similar
• CertiCoq/certicoq github similar
• coq-community/corn github similar
• coq-community/coq-ext-lib github similar
• smtcoq/smtcoq github similar
• discus-lang/iron github similar
• simhu/cubical github similar
• math-comp/analysis github similar
• rust-analyzer/lsp-server github similar
• GeoCoq/GeoCoq github similar
• coq-community/math-classes github similar
• Deducteam/Dedukti github similar
• whonore/Coqtail github similar
• coq-community/awesome-coq github similar
• lukaszcz/coqhammer github similar
• guenchi/Darkart github similar
• siddhartha-gadgil/ProvingGround github similar
• Deducteam/lambdapi github similar
• MetaCoq/metacoq github similar