Skip to content

Pull requests: lambdaclass/ethlambda

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

feat: formalize slot_is_justifiable_after in Lean4
#269 opened Apr 9, 2026 by MegaRedHand Collaborator Loading…
Skip validator duties while syncing
#246 opened Mar 23, 2026 by thinktanktom Loading…
Add proto-array for incremental fork choice
#235 opened Mar 17, 2026 by pablodeymo Collaborator Draft
5 of 6 tasks
ProTip! Mix and match filters to narrow down what you’re looking for.