Similar repositories to penteract/HigherOrderHornRefinement:

• penteract/HigherOrderHornRefinement github similar
• Twey/agda-imp github similar
• JasonGross/coq-union-find github similar
• ptarau/LeanProlog github similar
• revnull/stjck github similar
• matthiasgoergens/Quine github similar
• roboguy13/rewrite-logic github similar
• darius/req github similar
• andreasabel/risc386 github similar
• polux/defunc github similar
• ftarin/datalogsolve github similar
• neel-krishnaswami/ott-example github similar
• Kaynato/DaoEsolang github similar
• MostAwesomeDude/zaha github similar
• konrad-wer/Equational-Proof-Checker github similar
• parsonsmatt/unification github similar
• codyroux/tinymatch github similar
• jozefg/register-alloc github similar
• andygill/er-systemf github similar
• typedbyte/finito github similar
• chrisokasaki/lambdastepper github similar
• slasser/CoStar github similar
• tammet/json-ld-logic github similar
• monadius/ocaml_simple_interval github similar
• benhuds/wangs-algorithm github similar
• felipeperet/logic github similar
• Artish357/RelateJS github similar
• wenkokke/swillprover github similar
• CertiGraph/CertiGraph github similar
• W95Psp/verified-abstract-interpreter github similar
• avigad/arwm github similar
• c-cube/trustee github similar
• cpressey/Some-Papers-I-Really-Liked github similar
• philzook58/not-bad-ccc github similar
• Ahnfelt/AlgorithmWStepByStep github similar
• ramsdell/agum github similar
• coq-community/HighSchoolGeometry github similar
• termite-analyser/llvm2smt github similar
• c-cube/quip github similar
• loda-lang/loda-programs github similar