"Workshop on Formal Proofs and Lean", Singapore, April 2024
This repository contains (or will contain) the code for the Workshop on Formal Proofs and Lean, held in Singapore in April 2024. In addition, I will use the following repositories:
LeanLion
Code for Singapore Workshop on Formal Proofs and Lean