awslabs/AutoCorrode

Verification infrastructure for the Isabelle/HOL interactive proof assistant

IsabelleStars 56Forks 7Watchers 56Open issues 11License MIT License

Details

仓库信息

Ownerawslabs

Last pushed2025-11-27

Last updated2025-12-14

Issues fetched at—

Community at a glance