PrototypeCommon
awslabs/AutoCorrode
Verification infrastructure for the Isabelle/HOL interactive proof assistant
- Owner
- awslabs (organization)
- Stars
- Stars: 114
- Forks
- Forks: 29
- Language
- Isabelle
- License
- MIT
- Created
- 2025
- Topics
- formal-verificationisabelle-holproof-automationrust
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by awslabs
All 284 repos by awslabs- awslabs/git-secretsStars: 13,425ShellStable
- awslabs/mcpStars: 9,860PythonStable
- awslabs/llrtStars: 8,834RustStable
- awslabs/aws-shellStars: 7,332PythonStable
- awslabs/mountpoint-s3Stars: 5,794RustStable
- awslabs/aidlc-workflowsStars: 5,632TypeScriptStable
Nearby in Isabelle
All Isabelle repos- au-ts/cogentStars: 184IsabellePrototype
- marlowe-lang/marloweStars: 174IsabellePrototype
- seL4/isabelleStars: 143IsabellePrototype
- isabelle-prover/mirror-isabelleStars: 101IsabellePrototype
- diekmann/Iptables_SemanticsStars: 100IsabellePrototype