Lean4 code for financial math results about Macaulay & Modified duration Following https://www.soa.org/globalassets/assets/Files/Edu/2016/edu-2016-fm-24-17-using-duration-convexity.pdf
quinnculver / macaulayduration Goto Github PK
View Code? Open in Web Editor NEWLean4 code for financial math results about Macaulay & Modified duration