Login / Signup
The Supervisionary proof-checking kernel (or: a work-in-progress towards proof generating code).
Dominic P. Mulligan
Nick Spinale
Published in:
CoRR (2022)
Keyphrases
</>
theorem proving
automated theorem proving
databases
linear logic
data sets
neural network
search engine
kernel function
kernel methods
theorem prover
natural deduction
geometry theorem proving