A tool for formally verifying Rust code, checking specifications against all possible executions instead of adding run-time checks.
3.4K239RustMITUpdated 7 hours ago
#smt
Open-source projects tagged “smt”
Curated GitHub repositories related to smt, with AI summaries and key stats.