Similar repositories to UlfNorell/category-theory-experiments:

• UlfNorell/category-theory-experiments github similar
• pixijs/pixi.js github similar
• jonsterling/coq-meaning-explanation github similar
• jonsterling/brouwer-translations github similar
• jonsterling/purescript-abt github similar
• precog/quasar github similar
• davdar/redex-workshop-2015-ott github similar
• jonsterling/purescript-lcf github similar
• siddhartha-gadgil/LogicTypesSpaces github similar
• UlfNorell/aim23-talk github similar
• jonsterling/remark-on-hypothetical-judgment github similar
• slamdata/purescript-aff-reattempt github similar
• sergei-romanenko/agda-Pythagoras github similar
• cj-xu/OrdinalNotations github similar
• kristinas/hinitiality github similar
• jonsterling/agda-abt github similar
• IanOrton/decomposing-univalence github similar
• jashug/ConstructingII github similar
• UlrikBuchholtz/nominal-hott github similar
• oisdk/finiteness-in-cubical-type-theory github similar
• groupoid/anders github similar
• travisbrown/names github similar
• nbenton/coqdomains github similar
• maxsnew/grammars-and-semantic-actions github similar
• jmchapman/TT-in-TT github similar
• zaklogician/linear-constructive github similar
• ezyang/HoTT-coqex github similar
• AndrasKovacs/stlc-nbe github similar
• RobertHarper/hott-notes github similar
• Blaisorblade/Agda-playground github similar
• guillaumebrunerie/HoTT github similar
• jonsterling/agda-effectful-forcing github similar
• jespercockx/cubes github similar
• RedPRL/sml-dependent-lcf github similar
• twanvl/ttie github similar
• jyp/sctt github similar
• kosmikus/indexed github similar
• mattam82/Forcing github similar
• mikeshulman/dirtt github similar
• ericfinster/opetopes-in-agda github similar