-
Notifications
You must be signed in to change notification settings - Fork 0
Pull requests: Len989/QKF-Certifier
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Research: publish run-2 typed targets and regress the accepted Lean project
#10
opened Sep 15, 2026 by
Len989
Owner
Loading…
Research: Lean-checked target certificates and exact cyclic successor
#7
opened Sep 15, 2026 by
Len989
Owner
Loading…
ProTip!
What’s not been updated in a month: updated:<2026-08-19.