Mostly Automated Synthesis of Correct-by-Construction Programs
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
A framework for smart contract verification in Coq
- blockchain
- coq
- smart-contracts
- verification
Micromega tactics for Mathematical Components
- coq
- ssreflect
- mathcomp
- proof-automation
Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
- coq
- canonical-structures
- typeclasses
- ssreflect