Similar repositories to jmchapman/TT-in-TT:

• jmchapman/TT-in-TT github similar
• danistefanovic/build-your-own-x github similar
• RobertHarper/hott-notes github similar
• aquynh/capstone github similar
• jonsterling/lecture-notes github similar
• jashug/ConstructingII github similar
• silvanshade/agda-nr-cats github similar
• xuanruiqi/algebraic-geometry github similar
• UlrikBuchholtz/nominal-hott github similar
• groupoid/anders github similar
• silvanshade/cool-tt github similar
• maxsnew/grammars-and-semantic-actions github similar
• AndrasKovacs/preordertt github similar
• ejgallego/coq-universe github similar
• andrisaar/Type-Theory-Foundations github similar
• guillaumebrunerie/SmashProduct github similar
• jirkamarsik/lambda-mu github similar
• simhu/ecwf github similar
• ericfinster/opetopic-types github similar
• mmcqd/fibertt github similar
• riaqn/orton github similar
• pigworker/SSGEP-DataData github similar
• jmchapman/Big-step-Normalisation github similar
• superhaNds/cwfs github similar
• mr-ohman/intuitionistic-normalization github similar
• zmwangx/Typeset-EGA-SGA github similar
• konn/laurent github similar
• XmacsLabs/interactive-sicp github similar
• pigworker/SmolCat github similar
• ejgallego/real-world-coq github similar
• RobertHarper/pfpl-defns github similar
• effectfully/proto-tt github similar
• ericfinster/higher-alg github similar
• pigworker/Ming github similar
• ericfinster/catt.io github similar
• andrejbauer/higher-rank-syntax github similar
• jmchapman/categories github similar
• IanOrton/decomposing-univalence github similar
• mortberg/TypeTheory github similar
• gebner/lean4 github similar