Login / Signup

Practical Proof Search for Coq by Type Inhabitation.

Lukasz Czajka
Published in: IJCAR (2) (2020)
Keyphrases
  • theorem prover
  • proof search
  • theorem proving
  • proof planning
  • inference rules
  • automated reasoning