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.
Only coarse request metadata is shown. This demo does not display or persist visitor IP addresses.
Ray ID: a3ffc73b5bb02c82
| 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]