Similar repositories to guillaumebrunerie/JamesConstruction:

• guillaumebrunerie/JamesConstruction github similar
• JacquesCarette/categories github similar
• guillaumebrunerie/SmashProduct github similar
• UlrikBuchholtz/cubical-hott-agda github similar
• rrose1/nat-from-circle github similar
• IanOrton/decomposing-univalence github similar
• JacquesCarette/Species github similar
• UlfNorell/aim23-talk github similar
• larrytheliquid/zero-cost-coercions github similar
• uelis/contextual github similar
• nmvdw/Three-HITs github similar
• javra/indind-agda github similar
• DanGrayson/VV-C-system-from-a-monad github similar
• IanOrton/cubical-topos-experiments github similar
• groupoid/anders github similar
• pigworker/InteriorDesign github similar
• kristinas/hinitiality github similar
• txa/OmegaCats github similar
• CHTT-s18/lecture-notes github similar
• jonsterling/topos-theory-notes github similar
• MrChico/Reals-in-agda github similar
• peterlefanulumsdaine/hott-limits github similar
• CMU-HoTT/serre-finiteness github similar
• jespercockx/cubes github similar
• orca-lang/orca github similar
• jonsterling/agda-effectful-forcing github similar
• msp-strath/platypus github similar
• RedPRL/sml-dependent-lcf github similar
• pigworker/Gigs-Summer-2018 github similar
• groupoid/agda github similar
• vikraman/2DTypes github similar
• jagd/fakebold github similar
• JacquesCarette/pi-dual github similar
• technicalguy/acs-category-theory-notes-2017 github similar
• edwinb/Eff-new github similar
• jmchapman/Relative-Monads github similar
• cedille/cedille-developments github similar
• ericfinster/catt.io github similar
• omelkonian/formal-utxo github similar
• RobertHarper/hott-notes github similar