Time and place: Tuesday September 14, 10:30am in Holmes 247.

Speaker: Ellen Hughes, undergraduate student, UH Manoa.

Title: The interest equation in Lean

Abstract: We discuss how to solve the equation $y=x(1+i)^n$ for $i$ and for $n$ in the Lean proof assistant. 
This is joint work with Monica Johnson, Ryan Sasaki and Prof. Kjos-Hanssen.


Covid-19 mitigation plan:
Participants will be required to show vaccination or testing status using the Lumisight app upon entry, observe 3ft social distancing, and to wear masks throughout.

Hope to see you there.