⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

Looking for a good course to learn proof assistant Lean 4
news.ycombinator.com·2d·
Discuss: Hacker News
🔬Lean
Flag this post
Cracking the Code: Automated Theorem Proving and the Rise of Verifiable AI
dev.to·1d·
Discuss: DEV
✓Automated Theorem Proving
Flag this post
Oblique Strategies: Prompts for Programmers
kevinlawler.com·3h·
Discuss: Lobsters
⚔️Lean Tactics
Flag this post
two-dimensional category
ncatlab.org·7h
🔀Category Theory
Flag this post
Solving Project Euler #45
loriculus.org·21h·
Discuss: Hacker News
⚔️Lean Tactics
Flag this post
The Pragmatic Programmer: 20th Anniversary Edition
ahalbert.com·47m·
Discuss: Hacker News
📏Code Metrics
Flag this post
Lang’s theorem — Pt. I: the classical result
ayoucis.wordpress.com·23h
🔀Category Theory
Flag this post
Christoph Breitkopf: Interval Tables in Common Lisp
bokesan.blogspot.com·3d
🔗Lisp
Flag this post
A treap week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🎨Graph Coloring
Flag this post
Counting past infinity
youtube.com·1d
📼Tape Algebra
Flag this post
Z3 API in Python: From Sudoku to N-Queens in Under 20 Lines
ericpony.github.io·2h·
Discuss: Hacker News
🧮Z3 Solver
Flag this post
The curious case of broken theorems
davidbessis.substack.com·1d·
Discuss: Substack
🏗️Constructive Analysis
Flag this post
Domain-specific Languages and Code Synthesis Using Haskell
queue.acm.org·2d·
Discuss: Lobsters, Hacker News
🔤DSLs
Flag this post
Omnidirectional type inference for ML: principality any way
arxiv.org·2d
🔗Functional Compilers
Flag this post
The Numbers Rant
sniffnoy.dreamwidth.org·21h·
Discuss: Hacker News
🔬Lean
Flag this post
Linkage
11011110.github.io·1d
📐Mathematical Art
Flag this post
The elementary theory of surreal arithmetic is bi-interpretable with set theory, Notre Dame Logic Seminar, November 2025
jdh.hamkins.org·4d
🏗️Constructive Mathematics
Flag this post
Elliptic curve pairings in cryptography
johndcook.com·1h
🔱Galois Cryptography
Flag this post
Some Notes on Division, and its History (Including Alien Division for Fractions)
pballew.blogspot.com·1d·
Discuss: www.blogger.com
📐Interval Arithmetic
Flag this post
Referential Transparency
quamserena.com·21h·
Discuss: Hacker News
💻Programming languages
Flag this post