Lean - discu.eu

Reddit

Review of Lean 4 https://leanprover.github.io/about/ 34 comments 26/11/2022 haskell

Lean: the new open source theorem prover developed at Microsoft Research http://leanprover.github.io/about/ 4 comments 9/10/2015 programming
Lean - new, open source theorem prover from Microsoft Research https://leanprover.github.io/about/ 4 comments 29/3/2015 programming
Lean: the new open source theorem prover developed at Microsoft Research http://leanprover.github.io/about/ 13 comments 27/3/2015 haskell

Linking pages

Would you like to stay up to date with Haskell? Checkout Haskell Weekly.

Related searches:

Search whole site: site:leanprover.github.io

Search title: Lean

See how to search.

Submit link to: