TontineCoin: Survivor-based Proof-of-Stake.

Chris Pollett Thomas H. Austin Katerina Potika Justin Rietz Prashant Pardeshi

Published in: Peer-to-Peer Netw. Appl. (2022)

Keyphrases

theorem proving
database
theorem prover
proof search
proof planning
complete axiomatization
real time
web pages
database systems
natural language
computer science
linear logic
natural deduction
provably correct
geometry theorem proving