Similar repositories to cj-xu/GentzenTrans:

• cj-xu/GentzenTrans github similar
• rrnewton/linear-cursors github similar
• nachivpn/coherence github similar
• csgordon/guarded-recursion github similar
• cj-xu/ContinuityType github similar
• Vierkantor/refinement-parsers github similar
• LightAndLight/idris-lambda-reflection github similar
• joom/herbrand-prolog github similar
• amintimany/OPLSS github similar
• elpinal/focused-modules github similar
• michaelsproul/dblib-linear github similar
• rntz/stlc github similar
• mgrabovsky/simurgh github similar
• barras/abstract-machines github similar
• holgerthies/continuity github similar
• asajeffrey/finite-dtypes github similar
• elpinal/rain-ml github similar
• gallais/great-library-of-idris github similar
• benjaminflin/idris-qsort github similar
• tuura/selective-theory-agda github similar
• ajrouvoet/jvm.agda github similar
• yforster/coq-synthetic-computability github similar
• jozefg/fibrational-semantics github similar
• gallais/proof-search-ILLWiL github similar
• robrix/Manifold github similar
• ayberkt/chi github similar
• jdublu10/pacman github similar
• danelahman/POPL18 github similar
• Z-snails/idris2-async github similar
• MathiasVP/idris-regex github similar
• maxsnew/virtual-equipments github similar
• ziman/itt github similar
• edwinb/ConcIO github similar
• schell/px-lang github similar
• gbwey/predicate-typed github similar
• yannham/visual-goi github similar
• DSLsofMath/tfpie2015 github similar
• ak3n/abt-zoo github similar
• jonsterling/lcf-sequent-calculus-example github similar
• pa-ba/reg-machine github similar