Similar repositories to joom/herbrand-prolog:

• joom/herbrand-prolog github similar
• cj-xu/GentzenTrans github similar
• joom/thesis-modal github similar
• barras/abstract-machines github similar
• holgerthies/continuity github similar
• yforster/coq-synthetic-computability github similar
• jdublu10/pacman github similar
• Vierkantor/refinement-parsers github similar
• MathiasVP/idris-regex github similar
• joom/regexp-agda github similar
• yannham/visual-goi github similar
• michaelsproul/dblib-linear github similar
• joom/distributed-hash-table github similar
• ramsdell/agum github similar
• gergoerdi/interaction-nets github similar
• maxsnew/virtual-equipments github similar
• ak3n/abt-zoo github similar
• jonsterling/lcf-sequent-calculus-example github similar
• takanuva/coc github similar
• lambdabetaeta/modal-logics github similar
• robrix/Manifold github similar
• jonsterling/coq-domains github similar
• jonsterling/coq-guarded-computational-type-theory github similar
• andreasabel/ipl github similar
• benjaminselfridge/logix github similar
• twanvl/ttie github similar
• jespercockx/popl19-tutorial github similar
• bitonic/tog github similar
• bobatkey/agda-metric-reals github similar
• RobertHarper/hott-notes github similar
• pigworker/Bi71 github similar
• neel-krishnaswami/inverse-bidirectional-typechecking github similar
• gallais/agda-presburger github similar
• brunjlar/protop github similar
• nachivpn/nbe-course github similar
• gallais/aGdaREP github similar
• plum-umd/cgc github similar
• TOTBWF/muprl github similar
• cedille/cedille-developments github similar
• mtt-lang/mtt-lang github similar