Sharing a Library between Proof Assistants: Reaching out to the HOL Family.
François ThiréPublished in: LFMTP@FSCD (2018)
Keyphrases
- theorem prover
- natural deduction
- theorem proving
- higher order logic
- information sharing
- automated theorem proving
- data sharing
- inference rules
- knowledge sharing
- first order logic
- proof search
- intelligent agents
- higher order
- formal methods
- mathematical proofs
- geometry theorem proving
- machine learning
- conditional logic
- share information
- state space
- expert systems
- genetic algorithm