Article · Wikipedia archive · Last revised Jul 13, 2026

IsaPlanner

IsaPlanner is a proof planner for the interactive proof assistant, Isabelle, originally developed by Lucas Dixon.

Last revised
Jul 13, 2026
Read time
≈ 1 min
Length
47 w
Citations
2
Source
Wikipedia ↗

IsaPlanner1 is a proof planner for the interactive proof assistant, Isabelle, originally developed by Lucas Dixon.2

References

References

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