Similar repositories to JacquesCarette/pi-dual:

• JacquesCarette/pi-dual github similar
• gibiansky/IHaskell github similar
• vikraman/2DTypes github similar
• IanOrton/decomposing-univalence github similar
• danistefanovic/build-your-own-x github similar
• conal/Collaboration github similar
• shaunlebron/parinfer github similar
• RobertHarper/hott-notes github similar
• matijapretnar/proofs github similar
• JasonGross/lob-paper github similar
• namin/blond github similar
• jonsterling/Agda-Sheaves github similar
• guillaumebrunerie/SmashProduct github similar
• vikraman/popl22-symmetries-artifact github similar
• ericfinster/opetopes-in-agda github similar
• JacquesCarette/TheoriesAndDataStructures github similar
• guillaumebrunerie/JamesConstruction github similar
• Lysxia/coq-mtl github similar
• andrejbauer/dependent-type-theory-syntax github similar
• nmvdw/Three-HITs github similar
• CHTT-s18/lecture-notes github similar
• ericfinster/orchard github similar
• dorchard/effects-as-sessions github similar
• silvanshade/agda-nr-cats github similar
• wenkokke/AutoInAgda github similar
• effectfully/Cubes github similar
• L-TChen/ModalTypeTheory github similar
• pigworker/LibAgda github similar
• metaocaml/metaocaml-opam github similar
• TOTBWF/cubical-categories github similar
• gallais/type-scope-semantics github similar
• msp-strath/ZEUG github similar
• pigworker/ProgrammerCommaCon github similar
• mikeshulman/catlog github similar
• JasonGross/lob github similar
• paf31/Embedding-a-Full-Linear-Lambda-Calculus-in-Haskell github similar
• kik/Four-Color-Theorem-Maintenance github similar
• jonsterling/agda-effectful-forcing github similar
• orca-lang/orca github similar
• jmchapman/restriction-categories github similar