For the best experience on desktop, install the Chrome extension to track your reading on news.ycombinator.com
Hacker Newsnew | past | comments | ask | show | jobs | submit | history | fromregister
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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search:

HN For You