A new Proof-Manager and Graphic Interface for the Larch Prover.
Frédéric VoisinPublished in: TAPSOFT (1997)
Keyphrases
- theorem prover
- theorem proving
- automated theorem proving
- proof search
- inference rules
- user friendly
- geometry theorem proving
- management system
- case study
- digital libraries
- first order logic
- query interface
- interface design
- graphical interface
- visual interface
- natural deduction
- real time
- multiscale
- knowledge base
- search engine
- linear logic
- real world
- data sets
- friendly interface