Hacker News new | ask | show | jobs
by chriswarbo 1829 days ago
True, and Isabelle can call out to automated provers (a mechanism called "sledgehammer"!)