April 22, 2024
2024
I gave a talk on Proving as Programming at NUS Workshop on Formal Proofs and Lean.