// Workers AI · dad joke modeWhat did IsaPlanner say to its friend? "I've got a plan
 |
IsaPlanner[1] is a proof planner for the interactive proof assistant, Isabelle, originally developed by Lucas Dixon.[2]
| This article relies excessively on references to primary sources. Please improve this article by adding secondary or tertiary sources. Find sources: "IsaPlanner" – news · newspapers · books · scholar · JSTOR (January 2014) (Learn how and when to remove this message) |
IsaPlanner[1] is a proof planner for the interactive proof assistant, Isabelle, originally developed by Lucas Dixon.[2]