Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🧮 Lean
Specific
Lean4, theorem prover, proof assistant, dependent types, mathlib
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
171396
posts in
21.0
ms
OpenGauss
: An open source, state of the art
autoformalization
harness for Lean
math.inc
·
20h
·
Discuss:
Hacker News
⚗️
Program Synthesis
TaoBench
: Do Automated Theorem Prover LLMs Generalize Beyond
MathLib
?
arxiv.org
·
4d
✅
Proof Assistants
Synthetic
Differential
Geometry in
Lean
arxiv.org
·
1d
⚗️
Program Synthesis
Open
Gauss
is a
project-scoped
Lean workflow orchestrator from Math Inc
github.com
·
1h
·
Discuss:
Hacker News
🦀
Rust
I
rebuilt
Lean
Domain Search with AI in 30 minutes
indiemakershub.com
·
1d
·
Discuss:
r/SideProject
✅
Proof Assistants
The
hitchhiker
's guide to reading Lean 4
theorems
blog.lambdaclass.com
·
2d
📐
PLT
Less-relevant results
ATOMiK
: Delta-state algebra that replaces
snapshots
, event replay, and consensus
atomik.tech
·
3d
·
Discuss:
Hacker News
🔤
Type Systems
LongCat-Flash-Prover
: A new frontier for Open-Source Formal Reasoning.
huggingface.co
·
1h
·
Discuss:
r/LocalLLaMA
✅
Proof Assistants
I love
lean
products
aleksei.dev
·
6d
🦀
Rust
Introduction
aacebo.github.io
·
1d
🦀
Rust
In search of
falsehood
– using
Opus
4.6 to prove False
tristan.st
·
1d
·
Discuss:
Hacker News
✅
Proof Assistants
Equality
in Dependent Type
Theories
nadrieril.github.io
·
10h
🔤
Type Systems
familial
2-monad
in
nLab
ncatlab.org
·
5h
🔄
Category Theory
Lazy
BDDs
with eager
literal
differences
elixir-lang.org
·
1d
🦥
Haskell
The
Programmers
's Guide to
Co-Designing
with Agents
davidwhitney.co.uk
·
6d
·
Discuss:
Hacker News
⚙️
Systems Programming
Leanstral
: Open-Source foundation for
trustworthy
<br> vibe-coding
mistral.ai
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
r/LocalLLaMA
📐
PLT
The Cost of
Indirection
in Rust
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🦥
Haskell
When the Shape Is the Contract:
Tuples
,
Tagged
Tuples
, and Keywords
grox.io
·
1d
🦥
Haskell
S&OP Engineering IV: Scaling to Enterprise (
Multi-SKU
&
Bottlenecks
)
colab.research.google.com
·
9h
·
Discuss:
DEV
⚗️
Program Synthesis
Method
Overloading
Tasks
dev.to
·
3h
·
Discuss:
DEV
λ
Functional Programming
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
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
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help