Lean 4 programming language and theorem prover
I know that Lean draws heavily on type theory (which is apparently PM did too) to verify algorithms and various branches of math; I think that this is what Whitehead and Russell wanted to do, but they were stuck with pen and paper.
Good (cheap) textbooks for learning more advanced linear algebra and other math for Data Science?
1 project | reddit.com/r/math | 3 May 2022
An automatic theorem proving project
2 projects | news.ycombinator.com | 28 Apr 2022
Why is Rust the most loved programming language in StackOverflow surveys?
3 projects | reddit.com/r/rust | 25 Apr 2022
Proving the Validity of a Proof or Proof Method
2 projects | reddit.com/r/math | 23 Apr 2022
There’s more to mathematics than rigour and proofs
1 project | news.ycombinator.com | 19 Apr 2022