Similar repositories to jonsterling/lcf-sequent-calculus-example:

• jonsterling/lcf-sequent-calculus-example github similar
• RobertHarper/hott-notes github similar
• jozefg/fibrational-semantics github similar
• jonsterling/sml-pronominal-ml github similar
• jonsterling/agda-abt github similar
• andreasabel/ipl github similar
• jonsterling/sml-logical-framework github similar
• jonsterling/itt-bidirectional github similar
• andrejbauer/miniLCF github similar
• yannham/visual-goi github similar
• michaelsproul/dblib-linear github similar
• BekaValentine/basic-proof-development github similar
• ak3n/abt-zoo github similar
• cocreature/pfpl-redex github similar
• cj-xu/GentzenTrans github similar
• ayberkt/Mini-TT github similar
• nachivpn/nbe-stlc github similar
• pigworker/Bi71 github similar
• umazalakain/fyp github similar
• wilbowma/infernalize github similar
• gergoerdi/syntactic-stlc github similar
• mrkgnao/utt github similar
• barras/abstract-machines github similar
• jyp/sctt github similar
• dlicata335/cubicalexperiments github similar
• maxsnew/virtual-equipments github similar
• jozefg/independence-of-the-continuum-hypothesis github similar
• larrytheliquid/spire github similar
• fsestini/nbe-weak-stlc github similar
• Vierkantor/refinement-parsers github similar
• jdublu10/pacman github similar
• andreasabel/helf github similar
• nbenton/coqdomains github similar
• yoricksijsling/ornaments-thesis github similar
• gallais/typing-with-leftovers github similar
• heades/cut-fill-agda github similar
• nmvdw/Three-HITs github similar
• mietek/imla2017 github similar
• ollef/region github similar
• roglo/coq_real github similar