PrototypeCommune
awesomo4000/awesome-provable
A curated set of links to formal methods involving provable code.
- Propriétaire
- awesomo4000 (compte personnel)
- Étoiles
- Étoiles : 229
- Forks
- Forks : 10
- Langage
- Sans langage
- Licence
- Aucune
- Création
- 2017
- Sujets
- formal-verificationcertified-programmingsel4coqisabelleisabelle-holidrisagda
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang