Login / Signup

The Supervisionary proof-checking kernel (or: a work-in-progress towards proof generating code).

Dominic P. MulliganNick 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