Login / Signup
Proof-checking Euclid.
Michael Beeson
Julien Narboux
Freek Wiedijk
Published in:
CoRR (2017)
Keyphrases
</>
theorem prover
theorem proving
data sets
first order logic
proof planning
databases
neural network
consistency checking
formal proof