PrototypeCommune
awslabs/AutoCorrode
Verification infrastructure for the Isabelle/HOL interactive proof assistant
- Propriétaire
- awslabs (organisation)
- Étoiles
- Étoiles : 113
- Forks
- Forks : 29
- Langage
- Isabelle
- Licence
- MIT
- Création
- 2025
- Sujets
- formal-verificationisabelle-holproof-automationrust
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de awslabs
Les 284 dépôts de awslabs- awslabs/git-secretsÉtoiles : 13 425ShellStable
- awslabs/mcpÉtoiles : 9 853PythonStable
- awslabs/llrtÉtoiles : 8 833RustStable
- awslabs/aws-shellÉtoiles : 7 332PythonStable
- awslabs/mountpoint-s3Étoiles : 5 793RustStable
- awslabs/aidlc-workflowsÉtoiles : 5 626TypeScriptStable
D’autres dépôts Isabelle
Tous les dépôts Isabelle- au-ts/cogentÉtoiles : 184IsabellePrototype
- marlowe-lang/marloweÉtoiles : 174IsabellePrototype
- seL4/isabelleÉtoiles : 143IsabellePrototype
- isabelle-prover/mirror-isabelleÉtoiles : 101IsabellePrototype
- diekmann/Iptables_SemanticsÉtoiles : 100IsabellePrototype