IsaPlanner

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

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.
This page is issued from Wikipedia. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.