Similar repositories to andrisaar/Type-Theory-Foundations:

• andrisaar/Type-Theory-Foundations github similar
• gibiansky/IHaskell github similar
• tootsuite/mastodon github similar
• danistefanovic/build-your-own-x github similar
• guillaumebrunerie/SmashProduct github similar
• jirkamarsik/lambda-mu github similar
• jmchapman/restriction-categories github similar
• mr-ohman/intuitionistic-normalization github similar
• aquynh/capstone github similar
• k6io/k6 github similar
• jonsterling/lecture-notes github similar
• jashug/ConstructingII github similar
• RobertHarper/hott-notes github similar
• shaunlebron/parinfer github similar
• ericfinster/opetopes-in-agda github similar
• jmchapman/TT-in-TT github similar
• danelahman/Directed-Containers github similar
• mvcccccc/nominal-unification github similar
• uelis/contextual github similar
• pribanacek/cicadas github similar
• zaklogician/agda-ist-algebra github similar
• m-yac/tt-in-cagda github similar
• UlfNorell/effects github similar
• UlrikBuchholtz/cubical-hott-agda github similar
• javra/indind-agda github similar
• jespercockx/tensors github similar
• ericfinster/higher-alg github similar
• mikeshulman/dirtt github similar
• ericfinster/catt.io github similar
• IanOrton/decomposing-univalence github similar
• mortberg/TypeTheory github similar
• gebner/lean4 github similar
• nachivpn/syntactic-ni github similar
• silvanshade/agda-nr-cats github similar
• xuanruiqi/algebraic-geometry github similar
• leo-colisson/zx-calculus github similar
• RobertHarper/pfpl-defns github similar
• oisdk/finiteness-in-cubical-type-theory github similar
• ekmett/multicategories github similar
• jespercockx/reflection-tutorial github similar