Similar repositories to cj-xu/ContinuityType:

• rrnewton/linear-cursors github similar
• nachivpn/coherence github similar
• cj-xu/ContinuityType github similar
• csgordon/guarded-recursion github similar
• amintimany/OPLSS github similar
• cj-xu/GentzenTrans github similar
• jozefg/fibrational-semantics github similar
• MatthewStein/adrenalina github similar
• gallais/proof-search-ILLWiL github similar
• joom/regexp-agda github similar
• niccoloveltri/agda-gtt github similar
• michaelsproul/dblib-linear github similar
• DSLsofMath/tfpie2015 github similar
• ramsdell/agum github similar
• konn/sdg-agda github similar
• gergoerdi/interaction-nets github similar
• robrix/Manifold github similar
• jonsterling/agda-synthetic-domain-theory github similar
• aslanix/SmallStepNI github similar
• FFaissole/Valuations github similar
• gergoerdi/stlc-agda github similar
• msprotz/proof-search-monad github similar
• maxsnew/virtual-equipments github similar
• alhassy/org-agda-mode github similar
• ocramz/taco-hs github similar
• ak3n/abt-zoo github similar
• mietek/imla2017 github similar
• jonsterling/lcf-sequent-calculus-example github similar
• jwiegley/constructive-ltl github similar
• lambdabetaeta/modal-logics github similar
• ualib/ualib.github.io github similar
• heades/System-F-Coq github similar
• andreasabel/ipl github similar
• joom/proof-tree-builder github similar
• benjaminselfridge/logix github similar
• yigitozkavci/typelevel-dijkstra-sp github similar
• Twinside/svg-tree github similar
• andreasabel/helf github similar
• MatthewDaggitt/agda-routing github similar
• ayberkt/grammar-inference github similar