Skip to content

Concrete arrival sequence

Ghost Userrequested to merge
sbozhko/rt-proofs:maximal-arrival-sequence into master

Added definitions and facts about the concrete arrival sequence, used in Poet to generate assumption-less certificates

Merge request reports