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:
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: