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 Tactics
Interactive Proving, Tactic Composition, Proof Automation, Mathlib
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
28271
posts in
24.3
ms
An
Introduction
to
Lean
4
uv.es
·
1d
🔬
Lean
Lil' Fun
Langs
'
Guts
taylor.town
·
17h
·
Discuss:
Hacker News
🔗
Functional Compilers
Lean
4
tactics
wildonblog.wordpress.com
·
20h
🔬
Lean
I Built a
Scheme
Compiler
with AI in 4 Days
matthewphillips.info
·
40m
·
Discuss:
Hacker News
🦀
Rust Macros
Array-Carrying
Symbolic
Execution for Function Contract Generation
arxiv.org
·
2d
⬆️
Lambda Lifting
glittercowboy/taches-cc-resources
: A collection of my favorite custom Claude Code resources to make life easier.
github.com
·
1d
⚡
Proof Automation
F# Weekly #9, 2026 –
Crunching
the Technical Debt with Repo
Assist
sergeytihon.com
·
7h
💧
Liquid Types
Basics
of Rust
liw.fi
·
2h
🦀
Rust Borrowing
Interactive
explanations
- Agentic Engineering
Patterns
simonwillison.net
·
18h
⚡
Proof Automation
TorchLean
:
Formalizing
Neural Networks in Lean
leandojo.org
·
14h
·
Discuss:
Hacker News
🧮
Z3 Solver
Differential
Logic
• 12
inquiryintoinquiry.com
·
3d
⚙️
Proof Engineering
Verified
Spec-Driven
Development (
VSDD
)
gist.github.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
🔄
Reproducible Builds
Nazrin
: Atomic Tactics for Graph Neural Networks for Theorem
Proving
in Lean 4
arxiv.org
·
5d
✓
Automated Theorem Proving
Let’s stop
copying
C
eev.ee
·
2d
🔗
Concatenative Programming
Lean-TUI
for the
lean
proof assistant
codeberg.org
·
4d
·
Discuss:
Hacker News
📐
Proof Assistants
6 Practices that turned AI from
prototyper
to
workhorse
(106 PRs in 14 days)
news.ycombinator.com
·
35m
·
Discuss:
Hacker News
⚡
Proof Automation
Vibe-coding a
debugger
for a
DSL
joachim-breitner.de
·
4d
·
Discuss:
Lobsters
⚡
Effectful Programming
TENSURE
: Fuzzing Sparse Tensor
Compilers
(Registered Report)
ndss-symposium.org
·
16h
·
Discuss:
Hacker News
🧪
Binary Fuzzing
How Claude Code
Automates
Software Development: A Deep-Dive Into AI-Powered Engineering
Workflows
buymeacoffee.com
·
1d
·
Discuss:
DEV
⚡
Proof Automation
A language
designed
for
machines
to write
negroniventurestudios.com
·
2h
·
Discuss:
Hacker News
💻
Programming languages
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