Projects in Awesome Lists tagged with proof-generating
A curated list of projects in awesome lists tagged with proof-generating .
https://github.com/c-cube/batsat
A (parametrized) Rust SAT solver originally based on MiniSat
drat minisat proof-generating rust sat-solver sat-solver-bindings
Last synced: 06 Apr 2025
https://github.com/kokorinilya/math_logic
Homeworks for math logic course in ITMO University
functional-programming math-logic parser parsing proof-generating proofs syntax-analysis
Last synced: 03 Apr 2025
