Partial Fraction Decomposition and its Formalisation in Lean
(Virtual talk) · Tomorrow's Mathematicians Today · Online · 2023
Link to recording
In this talk, I presented my first significant Lean formalisation project, which I worked on as part of my Summer 2022 UROP.