-
Notifications
You must be signed in to change notification settings - Fork 7
Pull requests: raphaelrrcoelho/formal-mathfin
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
autoform: PerformanceRatiosExtended (closes #162)
autoform
opened by the autoform pipeline; review before merge
new-defs
autoform PR introducing new definitions — review the design, not just the proof
#167
opened Jul 26, 2026 by
raphaelrrcoelho
Owner
Loading…
6 tasks
feat: formalize FRA value and fair-rate identity
#166
opened Jul 25, 2026 by
kernelpanic888
Loading…
10 of 11 tasks
autoform: PerformanceRatios (closes #161)
autoform
opened by the autoform pipeline; review before merge
new-defs
autoform PR introducing new definitions — review the design, not just the proof
#165
opened Jul 25, 2026 by
raphaelrrcoelho
Owner
Loading…
6 tasks
autoform: UpCapture (closes #162)
autoform
opened by the autoform pipeline; review before merge
new-defs
autoform PR introducing new definitions — review the design, not just the proof
#164
opened Jul 24, 2026 by
raphaelrrcoelho
Owner
Loading…
6 tasks
autoform: GainToPain (closes #161)
autoform
opened by the autoform pipeline; review before merge
new-defs
autoform PR introducing new definitions — review the design, not just the proof
#163
opened Jul 20, 2026 by
raphaelrrcoelho
Owner
Loading…
6 tasks
feat(blackscholes): in-out barrier parity from the hit-event partition (closes #53)
#159
opened Jul 18, 2026 by
raphaelrrcoelho
Owner
Loading…
feat: Black-76 caplet/floorlet pricing + parity (issue #27)
#38
opened Jun 17, 2026 by
mertunsall
Contributor
Loading…
feat(blackscholes): add BS speed (∂³V/∂S³) and Black-76 speed re-export shims
#36
opened Jun 17, 2026 by
mertunsall
Contributor
Loading…
ProTip!
What’s not been updated in a month: updated:<2026-06-27.