URL details: github.com/leanprover/lean

URL title: GitHub - leanprover/lean: Lean Theorem Prover
URL description: Lean Theorem Prover. Contribute to leanprover/lean development by creating an account on GitHub.
URL last crawled: 2022-06-29
URL speed: 2.260 MB/s, downloaded in 0.080 seconds

open external url

4 external links to this url

Only links from external domains are shown on this page.

found date

link text

from url

2021-05-31

Lean Theorem Prover

dselsam.github.io/posts/2018-06-24-mathematics-our-overlooked-ability.html

2021-05-30

Source Code

leanprover.github.io/download/

2021-05-30

Lean 3

leanprover.github.io/about/

2021-05-29

Lean

leodemoura.github.io/about.html