work with LEAN---formal proof checker
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 24, 2023
·
1:40 AM