Similar repositories to ptarau/LeanProlog:

• gibiansky/IHaskell github similar
• Twey/agda-imp github similar
• ptarau/LeanProlog github similar
• JasonGross/coq-union-find github similar
• neel-krishnaswami/ott-example github similar
• penteract/HigherOrderHornRefinement github similar
• parsonsmatt/unification github similar
• ptarau/LogicTransformers github similar
• codyroux/tinymatch github similar
• slasser/CoStar github similar
• tammet/json-ld-logic github similar
• wenkokke/swillprover github similar
• CertiGraph/CertiGraph github similar
• avigad/arwm github similar
• c-cube/trustee github similar
• coq-community/HighSchoolGeometry github similar
• termite-analyser/llvm2smt github similar
• c-cube/quip github similar
• viperproject/axiom-profiler github similar
• ekmett/monad-ran github similar
• ezyang/eff github similar
• ashwinraghav/Cqual github similar
• namin/blond github similar
• pythological/unification github similar
• philzook58/rel github similar
• mmcco/verified-parser-example github similar
• dynaroars/dig github similar
• aprolog-lang/aprolog github similar
• haskell-rewriting/term-rewriting github similar
• roberthoenig/FirstOrderLogic.jl github similar
• cobusve/TLAPLUS_DeadlockEmpire github similar
• dricketts/teaching-concurrency github similar
• mb64/simple-lambda-prolog github similar
• TermCOMP/TPDB github similar
• mit-plv/rewriter github similar
• fpottier/minirust github similar
• leanprover/functional_programming_in_lean github similar
• llee454/functional-algebra github similar
• rwbarton/advent-of-lean-4 github similar
• ptarau/TypesAndProofs github similar