Rare find

AutoCorrode. Verification infrastructure for the Isabelle/HOL interactive proof assistant

github.com/awslabs/AutoCorrode
by @awslabs

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.