IsaPlanner
id:
isaplanner-196-1036489
title:
IsaPlanner
text:
IsaPlanner is a proof planner for the interactive proof assistant, Isabelle. Originally developed by Lucas Dixon as part of his PhD thesis at the University of Edinburgh, it is now maintained by members of the Mathematical Reasoning Group, in the School of Informatics at Edinburgh.
IsaPlanner is the latest of a series of proof planners written at Edinburgh. Earlier planners include Clam and LambdaClam.
brand slug:
wiki
category slug:
encyclopedia
description:
Isaplanner is a proof planner for Isabelle and provides users various tools to prove theorems
original url:
https://en.wikipedia.org/wiki/IsaPlanner
date created:
date modified:
2023-02-26T13:13:05Z
main entity:
{"identifier":"Q6075663","url":"https://www.wikidata.org/entity/Q6075663"}
image:
fields total:
13
integrity:
14