| | Proving the Equivalence of Two Functions (leanprover.github.io) |
|
2 points by nequo on Sept 12, 2023 | past
|
|
| | Theorem Proving in Lean 4 (leanprover.github.io) |
|
3 points by yeesian on Aug 2, 2023 | past
|
|
| | Lean (leanprover.github.io) |
|
1 point by i13e on July 12, 2023 | past
|
|
| | Binary Search Trees in Lean 4 with proofs (leanprover.github.io) |
|
2 points by ykonstant on July 8, 2023 | past | 1 comment
|
|
| | Theorem Proving in Lean 4 (leanprover.github.io) |
|
4 points by deterministic on June 19, 2023 | past
|
|
| | Functional Programming in Lean (leanprover.github.io) |
|
159 points by d_christiansen on May 28, 2023 | past | 37 comments
|
|
| | Theorem Proving in Lean 4 (leanprover.github.io) |
|
3 points by surprisetalk on May 7, 2023 | past
|
|
| | Functional Programming in Lean (final pre-release) (leanprover.github.io) |
|
1 point by nequo on April 17, 2023 | past
|
|
| | Logic and Proof (leanprover.github.io) |
|
1 point by nextos on March 26, 2023 | past
|
|
| | Functional Programming in Lean (March Update on Dependent Types) (leanprover.github.io) |
|
2 points by nequo on March 13, 2023 | past
|
|
| | Functional Programming in Lean (January Update) (leanprover.github.io) |
|
1 point by nequo on Jan 31, 2023 | past
|
|
| | Lean – Theorem Prover (leanprover.github.io) |
|
101 points by thunderbong on Jan 20, 2023 | past | 29 comments
|
|
| | Functional Programming in Lean (December Update) (leanprover.github.io) |
|
2 points by nequo on Jan 8, 2023 | past
|
|
| | Functional Programming in Lean (November Update) (leanprover.github.io) |
|
1 point by nequo on Nov 30, 2022 | past
|
|
| | Functional Programming in Lean (October Update) (leanprover.github.io) |
|
3 points by nequo on Oct 29, 2022 | past
|
|
| | Functional Programming in Lean – an in-progress book (leanprover.github.io) |
|
2 points by d_christiansen on June 9, 2022 | past
|
|
| | Logic and Proof (leanprover.github.io) |
|
1 point by vg_head on March 4, 2022 | past
|
|
| | Logic and Proof (leanprover.github.io) |
|
3 points by mathematically on Sept 24, 2021 | past
|
|
| | Lean Manual (leanprover.github.io) |
|
2 points by amingilani on May 15, 2021 | past
|
|
| | Learn mathematical logic with Lean theorem prover (leanprover.github.io) |
|
4 points by VitalyAnkh on Nov 21, 2020 | past
|
|
| | Lean (leanprover.github.io) |
|
3 points by datashrimp on Feb 9, 2020 | past
|
|
| | Lean Theorem Prover (leanprover.github.io) |
|
2 points by cyrksoft on Oct 13, 2019 | past
|
|
| | Theorem Proving in Lean [pdf] (leanprover.github.io) |
|
91 points by furcyd on Sept 29, 2019 | past | 22 comments
|
|
| | CMU 15-815: Interactive Theorem Proving (leanprover.github.io) |
|
3 points by adamnemecek on June 11, 2019 | past
|
|
| | Theorem Proving in Lean (leanprover.github.io) |
|
156 points by benwr on May 28, 2018 | past | 30 comments
|
|
| | An Introduction to Lean (leanprover.github.io) |
|
1 point by Jtsummers on Oct 24, 2017 | past
|
|
| | Lean Theorem Prover (leanprover.github.io) |
|
2 points by tosh on May 18, 2017 | past
|
|
| | LEAN Theorem Prover (leanprover.github.io) |
|
2 points by carapace on Feb 11, 2016 | past
|
|
| | Lean Theorem Prover (leanprover.github.io) |
|
2 points by hamdal on Feb 10, 2016 | past
|
|
| | Theorem Proving in Lean (leanprover.github.io) |
|
2 points by fspeech on April 23, 2015 | past | 1 comment
|
|
|
|
More |
