IsaPlanner
 |
IsaPlanner[1] is a proof planner for the interactive proof assistant, Isabelle, originally developed by Lucas Dixon.[2]
Only coarse request metadata is shown. This demo does not display or persist visitor IP addresses.
Ray ID: a223abc51cc90d7f
| 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]