3 ms·Isabelle: Sledgehammer Let Automatic Theorem Provers Write Your Isabelle Scripts3 points by based2 8y ago