Machine-Assisted Proofs for Institutions in Coq.

Conor Reynolds Rosemary Monahan

Published in: IFM (2022)

Keyphrases

theorem prover
theorem proving
first order logic
formal proofs
inference rules
automated theorem provers
real time
knowledge base
metadata
case study
flowshop