IsaPlanner
 |
IsaPlanner[1] is a proof planner for the interactive proof assistant, Isabelle, originally developed by Lucas Dixon.[2]
Cloudflare fetched the original article and streamed it through HTMLRewriter to apply an entirely new visual system without rebuilding the source page.
| 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]