Login / Signup
Prove-It: A Proof Assistant for Organizing and Verifying General Mathematical Knowledge.
Wayne M. Witzel
Warren D. Craft
Robert D. Carr
Joaquín E. Madrid Larrañaga
Published in:
CoRR (2020)
Keyphrases
</>
mathematical knowledge
theorem prover
special case
computer software
proof planning
artificial intelligence
theorem proving