Login / Signup
The Coq Proof Script Visualiser (coq-psv).
Mario Frank
Published in:
CoRR (2021)
Keyphrases
</>
theorem prover
formal methods
automated theorem proving
theorem proving
first order logic
inference rules
proof search
decision making
database systems
search algorithm
real time
neural network
video sequences
logic programming
language identification