馃敩 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Feeds to Scour
SubscribedAll
Scoured 15849 posts in 1.20 s
Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics
arxiv.org路15h
馃МSMT Solvers
Preview
Report Post
Free papers, get your free papers here!
esat.kuleuven.be路1h
馃敘Reed-Solomon Math
Preview
Report Post
abelianization of an additive category in nLab
ncatlab.org路4h
馃МAlgebraic Archives
Preview
Report Post
Conversation: LLMs and the what/how loop
martinfowler.com路5h
馃ЗWASM Components
Preview
Report Post
Subterms Modulo Theories I
philipzucker.com路2d
馃幆Automata theory
Preview
Report Post
G枚del鈥檚 Theorems (and logicisms) revisited
logicmatters.net路2d
馃敩Logic in Computer Science
Preview
Report Post
Algebra Problems of the Day (Algebra Regents, August 2025 Part I)
mrburkemath.blogspot.com路6h路
Discuss: Blogger
馃搻Linear Algebra
Preview
Report Post
Getting Rounding Right in DeFi
seceureka.com路9h路
Discuss: Hacker News
馃搻Interval Arithmetic
Preview
Report Post
How Static Analysis Can Expose Personal Data Hidden in Source Code
hackernoon.com路8h
馃搳Static Analysis
Preview
Report Post
Patterns All the Way Down: A Generalization for Graph-Like Things
medium.com路4h路
Discuss: Hacker News
馃Unification Algorithms
Preview
Report Post
jameysharp/live-long-and-prospero: A small compiler for the Prospero Challenge in Constructive Solid Geometry
github.com路2d
馃Rust Macros
Preview
Report Post
Building a mini PyTorch in C++ from scratch as a high school student...
dev.to路7h路
Discuss: DEV
馃殌SIMD Parsing
Preview
Report Post
Blurred Drinker Paradoxes and Blurred Choice Axioms: Constructive Reverse Mathematics of the Downward L\"owenheim-Skolem Theorem
arxiv.org路15h
馃敳Proof Irrelevance
Preview
Report Post
(Suggested 馃摎) The Goal
er4hn.info路1d
馃敆Constraint Handling
Preview
Report Post
Kolmogorov Complexity
en.wikipedia.org路8h路
Discuss: Hacker News
馃МKolmogorov Complexity
Preview
Report Post
MathGPT Graphing: fast interactive graphs with AI help
mathgpt.today路3h路
Discuss: Hacker News
馃МConstraint Solvers
Preview
Report Post
Forget formalism: mathematics was built on infighting and emotional turmoil
nature.com路2d
馃搻Mathematical Art
Preview
Report Post
**Abstract:** This paper introduces a novel approach to automated proof verification within quantifiable type theory, significantly exceeding existing capaci...
freederia.com路4d
馃憫Coq Tactics
Preview
Report Post
Evolution of LLMs use by a programmer
asfaload.com路3h路
Discuss: Hacker News
馃ЗWASM Components
Preview
Report Post
On the way to step functions: the two worlds
blog.julik.nl路1d
馃悮Shell Calculus
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