Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Isabelle: Sledgehammer Let Automatic Theorem Provers Write Your Isabelle Scripts
isabelle.in.tum.de
3 points
based2
8 years ago
No comment yet
Isabelle: Sledgehammer Let Automatic Theorem Provers Write Your Isabelle Scripts | Heykuki News