Towards Mechanised Consensus in Isabelle.

Elliot Jones Diego Marmsoler

Published in: FMBC@CAV (2024)

Keyphrases

theorem prover
real time
natural deduction
voting schemes
data mining
feature space
special case
image sequences
search algorithm
computational complexity
probability distribution
cut elimination