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
✅ Proof Assistants
Coq, Isabelle, Agda, HOL, interactive theorem proving
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
171664
posts in
22.4
ms
LongCat-Flash-Prover
: A new frontier for Open-Source Formal Reasoning.
huggingface.co
·
2h
·
Discuss:
r/LocalLLaMA
🧮
Lean
familial
2-monad
in
nLab
ncatlab.org
·
6h
🔄
Category Theory
[
Algo
]
Backtracking
Template & N-Queens Solution
gist.github.com
·
49m
·
Discuss:
Hacker News
🦥
Haskell
Can LLMs Reason Like Automated Theorem
Provers
for Rust Verification?
VCoT-Bench
: Evaluating via Verification Chain of Thought
arxiv.org
·
13h
🧮
Lean
botanarede/beddel-py
: Declarative YAML-based AI workflow engine for Python
github.com
·
34m
·
Discuss:
Hacker News
🧮
Lean
I
rebuilt
Lean
Domain Search with AI in 30 minutes
indiemakershub.com
·
1d
·
Discuss:
r/SideProject
🧮
Lean
An
automata-based
test for bricks over string
algebras
arxiv.org
·
13h
🧮
Lean
LangGraph
Agents: LLM
Pipelines
That Think
ai.plainenglish.io
·
15h
🧮
Lean
Data
Indexing
in
Golang
hister.org
·
6h
·
Discuss:
r/golang
🦥
Haskell
I
Tested
5 AI Coding
Assistants
in 2026
youtube.com
·
5h
·
Discuss:
DEV
🧮
Lean
In search of
falsehood
– using
Opus
4.6 to prove False
tristan.st
·
1d
·
Discuss:
Hacker News
🧮
Lean
LLM
Terminology
Guide:
Weights
, Inference, Effective sequence length, and Self-Hosting Explained
devforth.io
·
4h
·
Discuss:
Hacker News
✅
Formal Verification
Using Claude Code to help me
write
andrewpwheeler.com
·
2h
·
Discuss:
Hacker News
🧮
Lean
I Keep Forgetting
CLIs
So Does My AI Agent -
Simplifying
CLI Usage for Human and AI Agents with Hints and Completion
google.com'
·
9h
·
Discuss:
DEV
🌀
Idris
The
Trickonometry
of Math
Olympiad
Inequalities (2025)
andreinc.net
·
8h
·
Discuss:
Hacker News
🧮
Lean
Proof
powerlineblog.com
·
6h
✅
Formal Verification
Building AI Apps with Go: A Practical Guide with
LangChainGo
and
LangGraphGo
dev.to
·
13h
·
Discuss:
DEV
🦥
Haskell
Formal
Verification: The Ultimate
Fitness
Function
lesswrong.com
·
1d
🧮
Lean
From
Logical
Verification to Structural
Ontology
:
medium.com
·
21h
✅
Formal Verification
andreaciarrocchi/lexifinder
: AI-powered semantic indexing: automating the creation of book indexes using NLP
github.com
·
1h
·
Discuss:
r/Python
🔤
Type Systems
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