Core Developer @ Hudson River Trading
On 9/6/2021, 7:28:00 PM
Update 12/20/21: I'm not really sure what I was going to say here. At this point I've just finished the independent study on program analysis. A brief summary can be found here.
I am interested in using Agda, which we covered in the Program Analysis class, to re-prove some material from math classes. If I get around to it, I'll write about it.
© Copyright 2023 Jonathan Lam