Skip to content

Baking.endorsing_rights_by_first_slot_no_internal_errors and some related lemmas

Andrey Klaus requested to merge ak@internal_errors_work-wip into master

Baking.endorsing_rights_by_first_slot_no_internal_errors and some related lemmas

related #416 (closed) #421 (closed)

close #418 (closed) #419 (closed) #420 (closed) #426 (closed) #427 (closed)

Edited by Andrey Klaus

Merge request reports