Login / Signup
Towards Automatic Transformations of Coq Proof Scripts.
Nicolas Magaud
Published in:
CoRR (2024)
Keyphrases
</>
theorem prover
theorem proving
automated theorem proving
formal methods
inference rules
proof planning
proof search
first order logic
mathematical proofs
genetic algorithm
website
search algorithm
expert systems
linear logic
natural deduction
geometry theorem proving