Similar repositories to nmvdw/Three-HITs:

• nmvdw/Three-HITs github similar
• IanOrton/decomposing-univalence github similar
• danistefanovic/build-your-own-x github similar
• RobertHarper/hott-notes github similar
• SimonJF/IdrisNet github similar
• AndrasKovacs/preordertt github similar
• uelis/contextual github similar
• groupoid/anders github similar
• guillaumebrunerie/SmashProduct github similar
• UlrikBuchholtz/cubical-hott-agda github similar
• guillaumebrunerie/JamesConstruction github similar
• tcampion/Semisimplicial github similar
• awodey/Impredicative github similar
• plt-amy/cubical-methods github similar
• gibiansky/IHaskell github similar
• jozefg/independence-of-the-continuum-hypothesis github similar
• BekaValentine/GenericEvaluators github similar
• CHTT-s18/lecture-notes github similar
• nbenton/coqdomains github similar
• Lapin0t/induction-recursion github similar
• mikeshulman/ohtt github similar
• ericfinster/opetopes-in-agda github similar
• pigworker/LibAgda github similar
• ayberkt/abt github similar
• yannham/visual-goi github similar
• nmvdw/groupoids github similar
• jonsterling/racket-grit github similar
• konn/vscode-redtt-diagnostics github similar
• jonsterling/topos-theory-notes github similar
• peterlefanulumsdaine/palmgren-archive github similar
• twanvl/ttie github similar
• simhu/ecwf github similar
• ayberkt/Mini-TT github similar
• orca-lang/orca github similar
• bacam/coqjvm github similar
• emtst/emtst-proof github similar
• anderslundstedt/pca-realizability github similar
• msullivan/typecoin github similar
• jonsterling/tt github similar
• guillaumebrunerie/initiality github similar