PrototypeCommon
awesomo4000/awesome-provable
A curated set of links to formal methods involving provable code.
- Owner
- awesomo4000 (personal account)
- Stars
- Stars: 229
- Forks
- Forks: 10
- Language
- No language
- License
- None
- Created
- 2017
- Topics
- formal-verificationcertified-programmingsel4coqisabelleisabelle-holidrisagda
- Tier
- Prototype (100 to 249 ★) What this tier means