Similar repositories to ufmg-smite/alethe-proof-checker:

• ufmg-smite/alethe-proof-checker github similar
• leanprover/smt2_interface github similar
• witan-org/witan github similar
• Gbury/archsat github similar
• lonsing/depqbf github similar
• arlencox/mlbdd github similar
• Gbury/mSAT github similar
• smtcoq/smtcoq github similar
• arminbiere/cadical github similar
• lukaszcz/coqhammer github similar
• jix/varisat github similar
• pysathq/pysat github similar
• LaurentMazare/tensorflow-ocaml github similar
• c-cube/qcheck github similar
• jscoq/jscoq github similar
• sarsko/CreuSAT github similar
• cvc5/cvc5 github similar
• ocaml-community/utop github similar
• niklasso/minisat github similar
• microsoft/debug-adapter-protocol github similar
• leanprover/lean4 github similar
• ocaml/dune github similar
• leanprover-community/mathlib github similar
• idris-lang/Idris2 github similar
• ocaml-community/awesome-ocaml github similar
• FStarLang/FStar github similar
• rust-lang/miri github similar
• flamegraph-rs/flamegraph github similar
• idris-lang/Idris-dev github similar
• coq/coq github similar
• Z3Prover/z3 github similar
• rust-lang/rustlings github similar
• rust-lang/rust github similar
• donnemartin/system-design-primer github similar