Similar repositories to michaelsproul/dblib-linear:

• michaelsproul/dblib-linear github similar
• nachivpn/coherence github similar
• Lysxia/coq-recursion-schemes github similar
• roglo/coq_real github similar
• cj-xu/GentzenTrans github similar
• DmxLarchey/ite-normalisation github similar
• holgerthies/continuity github similar
• uds-psl/coq-a-la-carte-cpp20 github similar
• gibiansky/IHaskell github similar
• jonsterling/sml-pronominal-ml github similar
• jozefg/fibrational-semantics github similar
• rrnewton/linear-cursors github similar
• yforster/coq-synthetic-computability github similar
• mikeshulman/ohtt github similar
• osense/masters github similar
• roc-lang/roc github similar
• JasonGross/slow-coq-examples github similar
• lambdabetaeta/modal-logics github similar
• fsestini/tt-in-cubical github similar
• Vierkantor/refinement-parsers github similar
• RobertHarper/hott-notes github similar
• danelahman/POPL18 github similar
• hablapps/LensAlgebra github similar
• elpinal/regalloc github similar
• JakobeBussey/StoneSpaces1130 github similar
• ipdl/ipdl github similar
• andreasabel/ipl github similar
• Lapin0t/induction-recursion github similar
• FreeProving/free-proving-code github similar
• CoqHott/coq-forcing github similar
• maxsnew/virtual-equipments github similar
• gallais/agdarky github similar
• csgordon/guarded-recursion github similar
• jcreedcmu/lambda-maps github similar
• yannham/visual-goi github similar
• cj-xu/ContinuityType github similar
• clayrat/dialectica github similar
• TOTBWF/agda-sgd github similar
• DmxLarchey/The-Braga-Method github similar
• jyp/organ github similar