Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
1.
▲
Isabelle: Sledgehammer Let Automatic Theorem Provers Write Your Isabelle Scripts
(isabelle.in.tum.de)
3 points
based2
8 years ago
discuss
2.
▲
Isabelle2016 released – Generic proof assistant
(isabelle.in.tum.de)
1 point
sternenseemann
10 years ago
discuss