IsaPlanner is a proof planner for the interactive proof assistant, Isabelle, originally developed by Lucas Dixon.
References
Wikipedia
IsaPlanner
Tags
- Automated theorem proving
AffiliateWikipedia
IsaPlanner is a proof planner for the interactive proof assistant, Isabelle, originally developed by Lucas Dixon.
References