GitHub repository: xldenis/creusot
Primary language: Rust
Created: 2021-01-25T15:49:30Z
Description: deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!