Join an informal group meeting 1-3 Wed. this summer
Interested in learning to write computer-checked math proofs? Interested in learning an exciting new programming language? Lean 4 is a new programming language that can be used to write code...
June 25, 2023
·
9:56 PM