Calculational Proofs in ACL2s.
Andrew T. WalterAnkit KumarPanagiotis ManoliosPublished in: CoRR (2023)
Keyphrases
- theorem proving
- theorem prover
- equational theories
- natural language learning
- first order logic
- decision procedures
- mathematical proofs
- natural deduction
- decision making
- formal proof
- proof search
- language learning
- database
- logic programs
- expert systems
- cooperative
- similarity measure
- database systems
- machine learning
- data sets