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
✅ Formal Verification
Specific
formal methods, theorem proving, model checking, TLA+
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
171787
posts in
23.5
ms
Formal
Verification
Best Practices
semiwiki.com
·
3d
✅
Proof Assistants
Can LLMs Reason Like Automated Theorem
Provers
for Rust Verification?
VCoT-Bench
: Evaluating via Verification Chain of Thought
arxiv.org
·
13h
🧮
Lean
Specification-Driven
Development: The Four
Pillars
dev.to
·
1d
·
Discuss:
DEV
⚗️
Program Synthesis
Formal
Verification: The Ultimate
Fitness
Function
lesswrong.com
·
1d
🧮
Lean
Formal verification of tree-based machine learning models for
lateral
spreading
arxiv.org
·
1d
🧮
Lean
kingbootoshi/tla-precheck
: Your TLA+ spec and your TypeScript code drift apart. This kit makes that impossible.
github.com
·
3d
·
Discuss:
Hacker News
🧮
Lean
Linear
algebra
knowledge review, with
proofs
(2)
quinns.bearblog.dev
·
11h
✅
Proof Assistants
Generative Specification: A
Pragmatic
Programming Paradigm for the
Stateless
Reader
zenodo.org
·
1d
·
Discuss:
DEV
🧮
Lean
Alpha-Guardian/Engram
: An offline Tiny Expert for edge constraints:
audited
ESP32-C3 board proof, benchmark capability, and forensic trust evidence.
github.com
·
1d
·
Discuss:
Hacker News
🧮
Lean
Designing Safe Agentic Systems: From
Taxonomy
to Runtime
Guardrails
and Safety Cases
medium.com
·
2d
🔤
Type Systems
Probability theory
revisit
, and
proofs
quinns.bearblog.dev
·
2d
✅
Proof Assistants
Modeling Token Buckets in
PlusCal
and
TLA
+
muratbuffalo.blogspot.com
·
4d
·
Discuss:
Lobsters
,
Blogger
🔤
Type Systems
Less-relevant results
Exploring
Descartes
’ Rule of Signs
themathdoctors.org
·
5h
✅
Proof Assistants
Open protocol for shared memory between AI agents,
Specification
published
akashikprotocol.com
·
3d
·
Discuss:
Hacker News
,
Hacker News
🔤
Type Systems
Designing a Secure
Observability
Contract for AI Agents: Logs,
Spans
, and Safety Signals
dev.to
·
5d
·
Discuss:
DEV
✅
Proof Assistants
When a Small Language Model Beat Our LLM in Production —
Avni
Bhatt
at AI Engineer Melbourne 2026
webdirections.org
·
18h
🧮
Lean
Embodied
Agent Governance: Why Robots Need Safety Layers | by
Leena
Thomas | Mar, 2026
medium.com
·
4d
🌀
Idris
Conversational Software Engineering:
Compiling
Intent
robenglander.com
·
2d
·
Discuss:
r/compsci
🧮
Lean
Formally
Verifying
the Easy Part: a field report on using
Dafny
to verify AI-generated code, and why all 4 real production bugs were in the integration layer
brainflow.substack.com
·
2d
·
Discuss:
r/programming
🧮
Lean
The
hitchhiker
's guide to reading Lean 4
theorems
blog.lambdaclass.com
·
2d
🧮
Lean
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