IsaPlanner

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 is a proof planner for the interactive proof assistant, Isabelle, originally developed by Lucas Dixon.

References