Proof Certificates in PVS.

Frédéric Gilbert

Published in: ITP (2017)

Keyphrases

theorem proving
theorem prover
proof planning
inference rules
geometry theorem proving
first order logic
access control
public key
formal verification
timed automata
xml schema
natural deduction
linear logic
mathematical proofs
xml documents
multi agent systems
machine learning