Lean
Open source theorem prover and programming language being developed at Microsoft Research.

Links

Last modified 8d ago
Copy link
Contents
Links