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