Math and Machine Learning Program 10/15/24 | Tutorial on the Lean theorem prover

CMSA Math and Machine Learning Program Interactive Theorem Proving Tutorial on the Lean theorem prover 10/15/2024