IsaPlanner

ArticleCoins (0)View on Wikipedia

From Wikipedia, the free encyclopedia

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

^ 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.

Coins launched from this article

No coins launched yet.