Showing items tagged prover. Show All
Learn Lean 4 programming language & proof assistant
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...
Posted: June 25, 2023, 9:56 PM