At a Glance
| Applications | Program Prover Rust Verifier |
| Inputs | Rust |
| Interfaces | CLI |
| Licenses | LGPLv2.1 |
| Maintenance | Actively Maintained |
Description
Creusot is a deductive verifier for Rust code.
| Applications | Program Prover Rust Verifier |
| Inputs | Rust |
| Interfaces | CLI |
| Licenses | LGPLv2.1 |
| Maintenance | Actively Maintained |
Creusot is a deductive verifier for Rust code.