-
Notifications
You must be signed in to change notification settings - Fork 1
Pull requests: Robby955/FormalSLT
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
feat(PACBayesSeeger): close per-sample Bernoulli-KL identity + ship Seeger track at (n+1) constant
#10
opened Jun 9, 2026 by
Robby955
Owner
Loading…
hygiene + diagram fixes: rescue Lean files + regenerate README SVGs
#9
opened Jun 9, 2026 by
Robby955
Owner
Loading…
polish: highlight TheoremPath site + iOS companion in FormalSLT README
#7
opened Jun 5, 2026 by
Robby955
Owner
Loading…
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.