Similar repositories to jonsterling/constructive-sheaf-semantics:

• jonsterling/constructive-sheaf-semantics github similar
• gibiansky/IHaskell github similar
• danistefanovic/build-your-own-x github similar
• IanOrton/decomposing-univalence github similar
• Soonad/Formality-Agda github similar
• mikeshulman/syntop github similar
• jonsterling/lecture-notes github similar
• laughedelic/sublime-idris github similar
• canndrew/malk-agda github similar
• gallais/agda-presburger github similar
• imuli/flow github similar
• sspeight93/Papers github similar
• mnieper/gravity github similar
• smfactor/UnitsAsTypes github similar
• shayan-najd/wl-pprint github similar
• clarissalittler/pi-calculus github similar
• sellout/Idris-CPDT github similar
• gallais/agdarky github similar
• joom/idris-microKanren github similar
• asr/apia github similar
• sergei-romanenko/agda-Pythagoras github similar
• trillioneyes/idris-toys github similar
• yfcai/CREG github similar
• ajrouvoet/implicits.agda github similar
• tm507211/CoqPerceptron github similar
• RobertHarper/hott-notes github similar
• jpvillaisaza/abel github similar
• jonaprieto/athena github similar
• WikiNoi/WikiNoi github similar
• nmvdw/Three-HITs github similar
• kb1dds/simplicialHomology github similar
• gstew5/games github similar
• jthickstun/lean github similar
• UlrikBuchholtz/nominal-hott github similar
• mattam82/groupoid github similar
• jashug/ConstructingII github similar
• oisdk/finiteness-in-cubical-type-theory github similar
• JorisCeulemans/sikkel github similar
• groupoid/anders github similar
• xuanruiqi/algebraic-geometry github similar