Categories Lean Leaning into Proofs This time last year, I came up with an idea. I wanted to teach my computer how to do Complex Analysis. I wanted to be… June 30, 2020July 1, 2020
