AutoCorrode
Isabelle
★ 96
updated 5d ago
Verification infrastructure for the Isabelle/HOL interactive proof assistant
No plain-English explanation yet — one is being written right now. Check back in a minute.