awslabs/AutoCorrode
View on GitHubVerification infrastructure for the Isabelle/HOL interactive proof assistant
- Stars
- 105
- Forks
- 27
- Open beginner issues
- 0
- Indexed issues
- 15
- Avg merge
- 12h 45m
- Merged PRs (30d)
- 7
- Dominant language
- Isabelle
- License
- MIT
- Last GitHub push
- Sep 11, 2026
- Latest indexed
- Sep 14, 2026
- Contributing guide
- Contributing guide
- Code of conduct
- Code of conduct
- Beginner labels
- good first issue help wanted
-
enhancement good first issue help wanted
awslabs/AutoCorrode#6 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement good first issue help wanted
awslabs/AutoCorrode#12 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement good first issue help wanted
awslabs/AutoCorrode#17 · 0 comments · 0 reactions · 0 assignees ·
-
awslabs/AutoCorrode#29 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement I/Q
awslabs/AutoCorrode#38 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement I/Q
awslabs/AutoCorrode#41 · 0 comments · 0 reactions · 0 assignees ·
-
bug
awslabs/AutoCorrode#48 · 0 comments · 0 reactions · 0 assignees ·
-
awslabs/AutoCorrode#59 · 0 comments · 0 reactions · 0 assignees ·
-
awslabs/AutoCorrode#68 · 0 comments · 0 reactions · 0 assignees ·
-
awslabs/AutoCorrode#172 · 4 comments · 0 reactions · 0 assignees ·
-
bug CI
awslabs/AutoCorrode#177 · 1 comment · 0 reactions · 1 assignee ·
-
awslabs/AutoCorrode#206 · 3 comments · 0 reactions · 0 assignees ·
-
awslabs/AutoCorrode#230 · 0 comments · 0 reactions · 0 assignees ·
-
bug
awslabs/AutoCorrode#232 · 0 comments · 0 reactions · 0 assignees ·
-
awslabs/AutoCorrode#263 · 0 comments · 0 reactions · 0 assignees ·