-
Notifications
You must be signed in to change notification settings - Fork 41
Pull requests: cameronfreer/lean4-skills
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
docs(lean4): deepen the consolidated simp reference (v4.5.9)
#165
opened Jul 29, 2026 by
cameronfreer
Owner
Loading…
feat(codex): add native in-place plugin adapter (v4.5.8)
#159
opened Jul 20, 2026 by
eliasjudin
•
Draft
Rename /lean4:doctor → /lean4:diagnose (avoids collision with built-in /doctor)
#156
opened Jul 17, 2026 by
flound1129
Loading…
feat(debate): confidence-gated multi-agent iterative debate for hard sorries
#119
opened Apr 22, 2026 by
romirthedev
Contributor
Loading…
5 tasks
ProTip!
What’s not been updated in a month: updated:<2026-07-01.