Similar repositories to avigad/arwm:

• avigad/arwm github similar
• danistefanovic/build-your-own-x github similar
• mstksg/wavelets github similar
• Twey/agda-imp github similar
• JasonGross/coq-union-find github similar
• ptarau/LeanProlog github similar
• neel-krishnaswami/ott-example github similar
• penteract/HigherOrderHornRefinement github similar
• parsonsmatt/unification github similar
• codyroux/tinymatch github similar
• slasser/CoStar github similar
• nadia-polikarpova/cyclegg github similar
• tammet/json-ld-logic github similar
• maryrosecook/tinygame github similar
• uds-psl/churchs-thesis-coq github similar
• eionblanc/mini-sygus github similar
• wenkokke/swillprover github similar
• c-cube/trustee github similar
• gregr/first-order-miniKanren github similar
• coq-community/HighSchoolGeometry github similar
• termite-analyser/llvm2smt github similar
• c-cube/quip github similar
• llee454/functional-algebra github similar
• CertiGraph/CertiGraph github similar
• ekmett/monad-ran github similar
• ezyang/eff github similar
• ashwinraghav/Cqual github similar
• namin/blond github similar
• cemulate/nearley-generator github similar
• philzook58/rel github similar
• mmcco/verified-parser-example github similar
• alashworth/sf-lean github similar
• haskell-rewriting/term-rewriting github similar
• roberthoenig/FirstOrderLogic.jl github similar
• cobusve/TLAPLUS_DeadlockEmpire github similar
• dricketts/teaching-concurrency github similar
• dynaroars/dig github similar
• aprolog-lang/aprolog github similar
• mb64/simple-lambda-prolog github similar
• viperproject/axiom-profiler github similar