|
|||||
|
|
A proof-centric approach to mathematical assistants |
|
| Authors: | Lucas Dixon Jacques Fleuriot |
| Affiliation: | aSchool of Informatics, University of Edinburgh, Appleton Tower, Crighton Street, Edinburgh, EH8 9LE, UK |
| Abstract: | |
| Keywords: | Proof planning Isabelle Isar IsaPlanner Theorem proving Proof assistant |
| 本文献已被 ScienceDirect 等数据库收录！ | |