Projects in Awesome Lists tagged with deductive-reasoning
A curated list of projects in awesome lists tagged with deductive-reasoning .
https://github.com/creusot-rs/creusot
Creusot helps you prove your code is correct in an automated fashion.
deductive-reasoning formal-methods formal-verification proof rust rust-lang verification why3
Last synced: 29 Apr 2025
https://github.com/aeneasverif/aeneas
A verification toolchain for Rust programs
compiler coq deductive-reasoning formal-methods formal-verification fstar hol4 lean ocaml program-verification proofs rust rust-lang
Last synced: 28 May 2026
https://github.com/sarsko/CreuSAT
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
automated-reasoning deductive-reasoning formal-methods formal-verification minisat proof rust rust-lang sat sat-solver satisfiability verification
Last synced: 09 May 2025
https://github.com/AeneasVerif/aeneas
A verification toolchain for Rust programs
compiler coq deductive-reasoning formal-methods formal-verification fstar hol4 lean ocaml program-verification proofs rust rust-lang
Last synced: 26 Sep 2025
https://github.com/jfeser/castor
Deductive synthesis and compilation of specialized databases.
compiler database deductive-reasoning program-synthesis
Last synced: 25 Jul 2025
https://github.com/sigpwned/horn4j
A simple library for performing logical reasoning with Horn clauses for Java 11+
abductive-reasoning deductive-reasoning horn-clauses java java-11 logical-inference
Last synced: 31 Mar 2025
