Formalizing Nakamoto-Style Proof of Stake.

Søren Eller Thomsen Bas Spitters

Published in: CSF (2021)

Keyphrases

theorem prover
linear logic
data sets
theorem proving
neural network
cooperative
automated theorem proving
authorship attribution
geometry theorem proving
information systems
knowledge base
support vector
proof search