Similar repositories to m-yac/tt-in-cagda:

• m-yac/tt-in-cagda github similar
• jonsterling/lecture-notes github similar
• mikeshulman/ohtt github similar
• Lapin0t/induction-recursion github similar
• danistefanovic/build-your-own-x github similar
• hecrj/iced github similar
• ralsei/six-eyes github similar
• AndrasKovacs/preordertt github similar
• ziman/itt-idris github similar
• anuyts/menkar github similar
• groupoid/anders github similar
• effectfully/Cubes github similar
• jonsterling/coq-guarded-computational-type-theory github similar
• yforster/coq-synthetic-computability github similar
• tootsuite/mastodon github similar
• meilisearch/MeiliSearch github similar
• martinescardo/HoTTEST-Summer-School github similar
• smlnj/smlnj github similar
• jashug/ConstructingII github similar
• fsestini/tt-in-cubical github similar
• RobertHarper/hott-notes github similar
• jonsterling/coq-domains github similar
• superhaNds/cwfs github similar
• agda/ooAgda github similar
• smimram/catt github similar
• AndrasKovacs/qiit-generalizations github similar
• gallais/agda-sizedIO github similar
• mikeshulman/dirtt github similar
• MrChico/Reals-in-agda github similar
• jonsterling/agda-stc github similar
• RedPRL/kado github similar
• jirkamarsik/lambda-mu github similar
• silvanshade/cool-tt github similar
• jonsterling/coq-sgdt github similar
• mvcccccc/nominal-unification github similar
• ayberkt/Mini-TT github similar
• ericfinster/catt github similar
• RedPRL/algaett github similar
• pigworker/potato github similar
• ecavallo/ptt github similar