Analysis tools logo
1

electrolysis

A tool for formally verifying Rust programs by transpiling them into definitions in the Lean theorem prover.

Github:
    262262252016
Workflow integration:
  • Type: cli
    cli

Official electrolysis Homepage

https://github.com/Kha/electrolysis

Other

Maintained

Similar Tools

  • 3rustfmt
  • 1rustfix
  • 1todocheck
  • 0rust-audit
  • 0ShiftLeft Scan