News/Events

Details can be found by following these links:

CSEE Research Day :

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