/ouroboros-lean4

Ouroboros protocols in Lean4

Primary LanguageLeanMIT LicenseMIT

Experimental implementation of Ouroboros protocols

This is an experimental work in progress.