-
Notifications
You must be signed in to change notification settings - Fork 39
Pull requests: matter-labs/era-consensus
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
refactor: use create_justification in the quint specification as in the informal spec
#218
opened Nov 27, 2024 by
konnov
Loading…
ProTip!
no:milestone will show everything without a milestone.