IsaPlanner

From Wikipedia, the free encyclopedia

Template:Short description

Page Module:Message box/ambox.css has no content.

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]

References

Page Template:Reflist/styles.css has no content.

^ IsaPlanner 2: A Proof Planner in Isabelle. Lucas Dixon and Moa Johansson. System Description/Technical Report. 2007.
^ A Proof Planning Framework for Isabelle. Lucas Dixon. PhD Thesis, University of Edinburgh. 2005.

Retrieved from "http://cosmopedia.co/index.php?title=IsaPlanner&oldid=5449363"