Login / Signup
Proof of Steak.
Jon Crowcroft
Hamed Haddadi
Arthur Gervais
Tristan Henderson
Published in:
CoRR (2021)
Keyphrases
</>
theorem prover
mathematical proofs
theorem proving
linear logic
machine learning
search engine
information systems
metadata
search algorithm
special case
proof theory
interactive theorem proving