Machine-Assisted Proofs for Institutions in Coq.

Conor Reynolds Rosemary Monahan

Published in: TASE (2022)

Keyphrases

theorem prover
data mining
special case
inference rules
batch processing
database
learning algorithm
search engine
computer vision
multiscale
expert systems
natural deduction
electronic institutions
mathematical knowledge
formal proofs
mathematical proofs