-
Notifications
You must be signed in to change notification settings - Fork 18
Pull requests: leanprover/LNSym
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
BLOCKED: refactor: reimplement initNextStep without evalTactic
#219
opened Oct 4, 2024 by
alexkeizer
•
Draft
BLOCKED: refactor: replace
rewrite
with mkEqNDRec
#215
opened Oct 4, 2024 by
alexkeizer
•
Draft
1 task
BLOCKED: feat: intermediate state aggregation through a persistent AxEffects object
#210
opened Oct 2, 2024 by
alexkeizer
•
Draft
3 tasks
ProTip!
Follow long discussions with comments:>50.