IsaPlanner
Software for automated theorem proving
From Wikipedia, the free encyclopedia
IsaPlanner[1] is a proof planner for the interactive proof assistant, Isabelle, originally developed by Lucas Dixon.[2]
Software for automated theorem proving
From Wikipedia, the free encyclopedia
IsaPlanner[1] is a proof planner for the interactive proof assistant, Isabelle, originally developed by Lucas Dixon.[2]