Top 3 Lean Lean Projects
Lean 4 programming language and theorem proverProject mention: Why Static Languages Suffer From Complexity | reddit.com/r/rust | 2022-01-19
The author is quick to dismiss dependently typed languages, which indeed solves the issues he describes. I think we will someday see a mainstream dependently typed language, Idris is one candidate and Lean 4 another. However, the issues described in the post are quite rare in practice, and macros are a good enough solution in many cases. Type systems like Rust's gets you 90% there when it comes to abstraction and static guarantees (and maybe 95% when you add macros), to get the last 10% you need to complicate the type system a lot.
Lean mathematical components libraryProject mention: Why is simplicity so unreasonably effective at scientific explanation? | reddit.com/r/slatestarcodex | 2021-10-13
No, they really are - you've just internalized the vast majority of the content already. This is what a moderately careful (Lean makes some mildly questionable compromises regarding quotients) attempt at building up calculus from first principles looks like. And this is still assuming quite a bit of foundation. Human beings are much better at math than a bunch of apes barely down from the trees have any right to be - but that doesn't make math any smaller.
Deliver Cleaner and Safer Code - Right in Your IDE of Choice!. SonarLint is a free and open source IDE extension that identifies and catches bugs and vulnerabilities as you code, directly in the IDE. Install from your favorite IDE marketplace today.
HoTT in Lean 3
Lean Lean related posts
The HoTT Game
2 projects | news.ycombinator.com | 11 Dec 2021
Why is simplicity so unreasonably effective at scientific explanation?
1 project | reddit.com/r/slatestarcodex | 13 Oct 2021
This is just an attempt I'm trying to get better at writing proofs I know I'm an idiot so please be constructive if you are criticizing
1 project | reddit.com/r/Collatz | 8 Sep 2021
Tongue-in-cheek summaries of areas of mathematics
1 project | reddit.com/r/math | 15 Aug 2021
Galois Groups and the Symmetries of Polynomials
1 project | news.ycombinator.com | 4 Aug 2021
Is there a program/website that can create and organize lists of mathematical theorems?
1 project | reddit.com/r/math | 7 Jul 2021
Learn coq or agda before diving into idris2?
2 projects | reddit.com/r/dependent_types | 2 May 2021
What are some of the best open-source Lean projects in Lean? This list will help you:
Are you hiring? Post a new remote job listing for free.