- Lean – Theorem Prover
- Where does "def" for functions come from and why?
- Lean – Theorem Prover
- Facts and numbers are not that accurate, actually...
- is CS an engineering practice?
- The Mathematical Hacker
- Is AI Takeover Mathematically Inevitable?
- Quotient type? Commutative modulo permutations?
- At what point should we expect A.I to do mathematics "on its own"?
- Advice for Taking Set Theory with no real math background
- What Are You Working On? September 05, 2022
- What Are You Working On? August 01, 2022
- Principia Mathematica in modern notation.
- What Programming Language would you use in your studies?
- Is there a current active area of mathematical research where an amateur can contribute to the field (i.e. enough open tractable problems for it to be feasible)?
- Should Machines Replace Mathematicians?
- The rise of formalism in mathematics - Kevin Buzzard - ICM 2022 - Special Plenary Lecture (Slides - PDF)
- Can Computers Be Mathematicians?
- Coq vs Lean - What are your opinions?
- Which math data repositories do you know?
- Automated Theorem Proving
- The Biggest Project in Modern Mathematics
- Good (cheap) textbooks for learning more advanced linear algebra and other math for Data Science?
- An automatic theorem proving project
- Why is Rust the most loved programming language in StackOverflow surveys?
- Proving the Validity of a Proof or Proof Method
- There’s more to mathematics than rigour and proofs
- What is the difference between types and class in Principia Mathematica?
- Constantly search for and replace sequence
- [suggestion] Learning about math proofs using lean
- The Lean Theorem Prover
- Is there a formal proof that all integers can be expressed as the sum of four squares?
- Is math doomed?
- Can you build all of mathematics in functional programming?
- Alright, but what is lean?
- [R] OpenAI built a neural theorem prover that can solve (some) formal Math Olympiad problems
- Learning mathematics by coding
- A New Crisis in Mathematics?
- The HoTT Game
- Ask HN: Which important problem are you working on?
- "The PlusCal Tutorial" by Leslie Lamport
- What are some good resources for learning about the calculus of constructions?
- Did Bertrand Russell’s more rigorous ‘bottom up’ reconstruction of basic arithmetic lead to any significant novel results?
- Propositional logic exercises with the lean theorem prover
- Why is simplicity so unreasonably effective at scientific explanation?
- 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
- Tongue-in-cheek summaries of areas of mathematics
- Galois Groups and the Symmetries of Polynomials
- Is there a program/website that can create and organize lists of mathematical theorems?
- Mathematicians welcome computer-assisted proof in ‘grand unification’ theory