⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

Feeds to Scour
SubscribedAll
Scoured 13745 posts in 155.7 ms
Axiom Prover: From Seeing Why to Checking Everything (AxiomProver Solves All Problems at Putnam 2025: Proof Release & Commentary)
axiommath.ai·4h
🧮Theorem Proving
Preview
Report Post
Limited Math: Aligning Mathematical Semantics with Finite Computation
arxiv.org·2d
λLambda Encodings
Preview
Report Post
Exploring the Type System
gibbok.github.io·11h
🔤Type Theory
Preview
Report Post
Halting Problem
en.wikipedia.org·1d·
Discuss: Hacker News
🔍Type Inference
Preview
Report Post
Lewis Carroll, Happy Birthday, and RIP (a compilation of several posts)
pballew.blogspot.com·13h·
Discuss: Blogger
📐Mathematical Art
Preview
Report Post
research!rsc: Pulling a New Proof from Knuth’s Fixed-Point Printer
research.swtch.com·1d·
Discuss: Lobsters, Hacker News
📐Interval Arithmetic
Preview
Report Post
Issue 506
haskellweekly.news·3d
🔗Functional Compilers
Preview
Report Post
Getting better at coding with LLMs
ricardoanderegg.com·20h
⚔️Lean Tactics
Preview
Report Post
Type inference of all constructs and the next 15 months
elixir-lang.org·2d·
Discuss: Lobsters, Hacker News
🏛️Agda
Preview
Report Post
#5 Maths Gems 195
resourceaholic.com·6h·
Discuss: resourceaholic.com
📐Mathematical Art
Preview
Report Post
A Zeckendorf table
leancrew.com·1d
🎞️Tape Combinatorics
Preview
Report Post
The Third Bit: Trying to Understand asimpy
third-bit.com·20h
🕹Emulation
Preview
Report Post
The Rustonomicon – The Dark Arts of Advanced and Unsafe Rust Programming
doc.rust-lang.org·1d·
Discuss: Hacker News
🦀Rust Borrowing
Preview
Report Post
Java Generics and Collections • Maurice Naftalin & Stuart Marks
youtube.com·2d
λLambda Formalization
Preview
Report Post
**Master Python Type Hints: 8 Advanced Techniques for Cleaner, Error-Free Code**
dev.to·1d·
Discuss: DEV
🔤Type Theory
Preview
Report Post
From fragmented code to consistent output with AI rules
stromcapital.fi·20h·
Discuss: Hacker News
🔗Constraint Handling
Preview
Report Post
Nonlocality of quantum states can be transitive
nature.com·1d
⚛️Quantum Channels
Preview
Report Post
Math Breakthrough Helps Your Feng Shui
hackaday.com·1d
📐Mathematical Art
Preview
Report Post
std::move doesn't move anything: A deep dive into Value Categories
0xghost.dev·6h·
Discuss: Lobsters
⬆️Lambda Lifting
Preview
Report Post
The Liskov Substitution Principle does more than you think
buttondown.com·5d·
Discuss: Hacker News
λLambda Formalization
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help