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
📐 Theorem Proving
Lean, Isabelle, Proof assistant, Formal proof
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
4893
posts in
8.5
ms
dropbox/dMATH
: Formal verification and theorem proving tools
🔍
AI Interpretability
github.com
·
6d
·
Hacker News
·
…
Why
Lean
?
⚙
Context engineering
leodemoura.github.io
·
2d
·
Lobsters
,
Hacker News
·
…
Domain-Driven Design:
Lean
Aggregates
⚙
Context engineering
deniskyashif.com
·
1d
·
Hacker News
,
r/programming
·
…
FormalProofBench
: Can Models Write Graduate Level Math
Proofs
That Are Formally Verified?
🔍
AI Interpretability
arxiv.org
·
6d
·
…
We're excited to announce that
AXLE
is switching from Lean to
Rocq
🌊
Stream Processing
axle.axiommath.ai
·
2d
·
Hacker News
·
…
Towards Autonomous
Protocol
Proofs
⚙
Context engineering
will62794.github.io
·
3d
·
Hacker News
·
…
Why I Built an AI
Organisation
⚙
Context engineering
dave-bailey.com
·
4d
·
Hacker News
·
…
Show HN: A Common
Lisp
implementation
in development
✨
UI generation
savannah.nongnu.org
·
19h
·
Hacker News
·
…
Show HN: I built a
directory
to save local
PTs
from the "pay-per-lead" trap
🎯
Reranking
news.ycombinator.com
·
5d
·
Hacker News
·
…
Show HN:
Aiaiai.guide
:
Plain-English
mental model for LLM apps, tools and agents
✨
UI generation
aiaiai.guide
·
3h
·
Hacker News
·
…
Linear Time Complexity in
Fano
Driven
E8
Reductions
🌊
Stream Processing
zenodo.org
·
9h
·
Hacker News
·
…
Interactive
Proofs
[video]
👆
human-computer interaction
youtube.com
·
1d
·
Hacker News
·
…
An introduction to
Turing
machines and
computation
🔍
Semantic Search
max-amb.github.io
·
2d
·
Hacker News
·
…
Post-Penultimate
Conditional
Syntax
🤖
agents
joel.place
·
1d
·
Hacker News
·
…
WybeCoder
: Verified
Imperative
Code Generation
✨
UI generation
arxiv.org
·
5d
·
…
Show HN: Link proof assistant
Lean
to Claude, fix your code's hidden
assumptions
🎯
Reranking
github.com
·
6d
·
Hacker News
·
…
Cryptographic
Provenance
for LLM Inference
✨
UI generation
commitllm.com
·
2d
·
Hacker News
·
…
Po-Shen
Loh
| Quadratic Method: Detailed Explanation
🤖
agents
poshenloh.com
·
2d
·
Hacker News
·
…
FRACTRAN
: A Simple Universal Programming Language for
Arithmetic
🤖
agents
leetarxiv.substack.com
·
1d
·
Substack
,
r/programming
·
…
Rumi
Meets Claude
🤖
agents
no.dev
·
1d
·
Hacker News
·
…
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