Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with deductive-reasoning
A curated list of projects in awesome lists tagged with deductive-reasoning .
https://github.com/xldenis/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: 24 Aug 2024
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: 28 Sep 2024
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: 03 Aug 2024
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: 27 Sep 2024