-
The Fermat's Last Theorem Project
-
Dafny is a verification-aware programming language
-
New Foundations is consistent – a difficult mathematical proof proved using Lean
-
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)