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