Similar repositories to guillaumebrunerie/SmashProduct:

• guillaumebrunerie/SmashProduct github similar
• UlrikBuchholtz/cubical-hott-agda github similar
• IanOrton/decomposing-univalence github similar
• uelis/contextual github similar
• pribanacek/cicadas github similar
• JacquesCarette/categories github similar
• jonsterling/lecture-notes github similar
• 5HT/agda-nr-cats github similar
• EgbertRijke/CategoryTheory_Course github similar
• gibiansky/IHaskell github similar
• jirkamarsik/lambda-mu 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
• silvanshade/cool-tt github similar
• rrose1/nat-from-circle github similar
• glittershark/categories github similar
• mr-ohman/intuitionistic-normalization github similar
• javra/indind-agda github similar
• RobertHarper/pfpl-defns github similar
• guillaumebrunerie/JamesConstruction github similar
• jozefg/sml-higher-order-matching github similar
• jonsterling/racket-grit github similar
• fpvandoorn/Spectral github similar
• jonsterling/coq-presheaf-cwf github similar
• jonsterling/lean-syntax github similar
• mortberg/TypeTheory github similar
• clayrat/language-redtt github similar
• konn/vscode-redtt-diagnostics github similar
• jonsterling/latex-diagrams github similar
• unimath2019-tt/UniMath github similar
• jashug/ConstructingII github similar
• gebner/lean4 github similar
• silvanshade/agda-nr-cats github similar
• favonia/kusariyarou github similar
• jonsterling/coq-algebra-experiments github similar
• mvr/rainbow github similar
• JacquesCarette/Species github similar