https://github.com/creusot-rs/creusot

Creusot helps you prove your code is correct in an automated fashion.

deductive-reasoning formal-methods formal-verification proof rust rust-lang verification why3

Last synced: 29 Apr 2025

https://github.com/lengyijun/tarjan-kosaraju-why3-lean4

kosaraju-algorithm lean4 tarjan-algorithm why3

Last synced: 23 Mar 2025