HOL4PRS: Proof Recommendation System for the HOL4 Theorem Prover.
Nour DekhilAdnan RashidSofiène TaharPublished in: CICM (2024)
Keyphrases
- theorem prover
- natural deduction
- higher order logic
- theorem proving
- automated theorem proving
- automated reasoning
- first order logic
- inference rules
- term rewriting
- formal proof
- proof search
- computer algebra
- formal semantics
- mathematical proofs
- proof planning
- timed automata
- recommendation systems
- higher order
- boolean algebra
- machine learning