Similar repositories to zaklogician/linear-constructive:

• zaklogician/linear-constructive github similar
• gibiansky/IHaskell github similar
• danistefanovic/build-your-own-x github similar
• RobertHarper/hott-notes github similar
• zaklogician/agda-ist-algebra github similar
• jashug/ConstructingII github similar
• oisdk/finiteness-in-cubical-type-theory github similar
• UlfNorell/category-theory-experiments github similar
• berenoguz/Math github similar
• andrisaar/Type-Theory-Foundations github similar
• AndrasKovacs/stlc-nbe github similar
• larrytheliquid/mltt-lecture github similar
• uds-psl/ill-undecidability github similar
• jonsterling/lecture-notes github similar
• pixijs/pixi.js github similar
• sarahzrf/minelang github similar
• t4ccer/exnihilo github similar
• wenkokke/msla2014 github similar
• ejlilley/lilypond-parse github similar
• mvcccccc/nominal-unification github similar
• ericfinster/opetopes-in-agda github similar
• jmchapman/TT-in-TT github similar
• jirkamarsik/lambda-mu github similar
• UlfNorell/effects github similar
• groupoid/anders github similar
• L-TChen/PCF-Nominal github similar
• Mesabloo/bfhs github similar
• sarahzrf/sequents github similar
• vanaur/RCL-C github similar
• JorisCeulemans/sikkel github similar
• sstucki/system-f-agda github similar
• jozefg/fibrational-semantics github similar
• mr-ohman/intuitionistic-normalization github similar
• pigworker/PolyTest github similar
• Lysxia/coq-mtl github similar
• jespercockx/tensors github similar
• cj-xu/OrdinalNotations github similar
• effectfully/proto-tt github similar
• acallesalda/setform github similar
• Mesabloo/coqide.kak github similar