electrolysis
A tool for formally verifying Rust programs by transpiling them into definitions in the Lean theorem prover.
Github:
- 262262252016
Workflow integration:
cli
Official electrolysis Homepage
https://github.com/Kha/electrolysis
Other
Maintained