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:
Code for Singapore Workshop on Formal Proofs and Lean
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:
Code for Singapore Workshop on Formal Proofs and Lean
Apache License 2.0