- LeanSSR: An SSReflect-Like Tactic Language for Lean
- The Mechanics of Proof
- Natural Deduction in Logic (2015)
- The Wizardry Frontier
- A slightly longer Lean 4 proof tour
- An Easy-Sounding Problem Yields Numbers Too Big for Our Universe
- A Linguagem Lua completa 30 anos!
- Show HN: The first complete open source implementation of Turing's famous paper
- Lean 4.0.0, first official lean4 release
- Lean 4.0
- Towards a new SymPy: part 2 – Polynomials
- The Hitchhiker’s Guide to Logical Verification [pdf]
- Looking to start a new community for people who want to use code for everything
- It's not mathematics that you need to contribute to (2010)
- Did studying proof based math topics e.g. analysis make you a better programmer?
- Are There People Doing Formal Math In Berlin?
- Good First Formal Proof?
- What Vale Taught Me About Linear Types, Borrowing, and Memory Safety
- Macro-ts: TypeScript compiler with typesafe syntactic macros (2022)
- Functional Programming in Lean – a book on using Lean 4 to write programs
- Good Entry Points For `mathlib4`?
- [R] Large Language Models trained on code reason better, even on benchmarks that have nothing to do with code
- Is there a paid service where someone can explain a paper to me like I am 15?
- sigma >> capital pi
- My first significant proof in Lean
- Are axioms definitional in math?
- how are data structures rigorously defined in mathematics?
- How do Typescript and Haskell deal with the fact that the typed Lambda Calculus is inconsistent?
- Definition vs proof
- Algebra Rules: The Most Useful Rules of Basic Algebra
- 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?