Back to projects 
creusot
Creusot helps you prove your code is correct in an automated fashion.
Statistics
1.4k
Stargazers
65
Forks
1.4k
Watchers
84
Open Issues
8.7k
Downloads
44
Contributors
1
Dependents
10
Releases
Topics
deductive-reasoningformal-methodsformal-verificationproofrustrust-langverificationwhy3
Details
- License
- GNU Lesser General Public License v2.1
- Created
- Jan 25, 2021
- Last Commit
- Jan 16, 2026
- Last Release
- Jan 17, 2026
Quality Indicators
- README
- License
- CI/CD
- Documentation