Similar repositories to mortberg/TypeTheory:

• mortberg/TypeTheory github similar
• jirkamarsik/lambda-mu github similar
• gebner/lean4 github similar
• RobertHarper/pfpl-defns github similar
• pigworker/Box github similar
• nbenton/coqdomains github similar
• guillaumebrunerie/SmashProduct github similar
• yannham/visual-goi github similar
• agda/guarded github similar
• yforster/coq-synthetic-computability github similar
• smlnj/smlnj github similar
• pigworker/SmolCat github similar
• plt-amy/cubical-methods github similar
• ralsei/six-eyes github similar
• nmvdw/RezkCompletion github similar
• gibiansky/IHaskell github similar
• jonsterling/coq-meaning-explanation github similar
• jonsterling/sml-elaborating-typechecker github similar
• jonsterling/brouwer-translations github similar
• mir-ikbch/homtrs github similar
• jwiegley/zomega github similar
• danistefanovic/build-your-own-x github similar
• justinwoo/purescript-mochi github similar
• jonsterling/lecture-notes github similar
• 5HT/agda-nr-cats github similar
• EgbertRijke/CategoryTheory_Course github similar
• Lysxia/coq-recursion-schemes github similar
• ronami/HypeScript github similar
• AndrasKovacs/ind-ind-types github similar
• ToTal/total github similar
• mr-ohman/intuitionistic-normalization github similar
• UniversalAlgebra/lean-ualib github similar
• Univalent-Math/Univalent-Math.github.io github similar
• omega12345/RefactorAgda github similar
• jespercockx/tensors github similar
• UniMath/opam-repository github similar
• fsestini/nbe-mltt-wes github similar
• otim-project/ega github similar
• tail-reversion/soranus github similar
• adrieng/sync-lang github similar