Ivan Anishchuk
Experienced dev and veteran of the Ethereum community, EPF cohort 7 fellow aspiring to do meaningful protocol work.
Session
11-04
14:20
15min
Etheorem: Lean 4 Consensus-Spec Proofs
Ivan Anishchuk, Raj gill
Formalization of consensus spec in Lean4 and proving protocol invariants and rules. I will go over six months of proving work during EPF and explain the tool-assisted proving pipeline used.
[CLS] - EPF
Workshop 2