Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Formal Verification
✅ Formal Verification
model checking, proof assistants, Coq, TLA+
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
80
posts in
31.2
ms
Process-Verified
Reinforcement
Learning
for Theorem Proving via Lean
λ
Type Theory
Content type:
Academic
arxiv.org
·
9h
9 hours ago
Actions for Process-Verified Reinforcement Learning for Theorem Proving via Lean
Formal
Methods
and the Future of Programming
✅
Formal Methods
Content type:
Blog
blog.janestreet.com
·
5d
5 days ago
·
Hacker News
·
Cited by 1 article
·
Covers:
Lean: Programming Language and Theorem Prover
,
OxCaml, Jane Street's extension of OCaml is now open-source
+3 more
Actions for Formal Methods and the Future of Programming
argotorg/hevm
🧩
Constraint Solving
Content type:
Code
github.com
·
2d
2 days ago
·
Covers:
#ariel-os:matrix.org .
Actions for argotorg/hevm
EXCLUSIVE:
Le
Coq
Sportif Marks Maradona Milestone With Capsule as It Kicks Off New Era
✅
Formal Methods
Content type:
News
wwd.com
·
9h
9 hours ago
Actions for EXCLUSIVE: Le Coq Sportif Marks Maradona Milestone With Capsule as It Kicks Off New Era
Pramaana Labs raises $27M seed round from Khosla Ventures to bring
formal
verification
to AI
💻
Computer Science
techcrunch.com
·
1d
1 day ago
·
Cited by 2 articles
Actions for Pramaana Labs raises $27M seed round from Khosla Ventures to bring formal verification to AI
Our MongoDB
TLA
+ Workshop
✅
Formal Methods
Content type:
Blog
muratbuffalo.blogspot.com
·
5d
5 days ago
·
Blogger
Actions for Our MongoDB TLA+ Workshop
The local maxima we need to reach the next global maximum
💻
Computer Science
therealadam.com
·
22h
22 hours ago
Actions for The local maxima we need to reach the next global maximum
Announcing the Bloomberg Infrastructure and Security Ph.D. Fellowship Winners for 2025-2026
💻
Computer Science
Content type:
News
bloomberg.com
·
2d
2 days ago
Actions for Announcing the Bloomberg Infrastructure and Security Ph.D. Fellowship Winners for 2025-2026
The Code Is Perfect. The Token Still Rugs. Building NexusVeritas.
💻
Computer Science
Content type:
Blog
medium.com
·
6d
6 days ago
Actions for The Code Is Perfect. The Token Still Rugs. Building NexusVeritas.
Perplexity's Bumblebee, Evading Cloud Logging, AI Vuln Hunting Spec
🔐
Cybersecurity
tldrsec.com
·
22h
22 hours ago
·
Covers 8 stories
Actions for Perplexity's Bumblebee, Evading Cloud Logging, AI Vuln Hunting Spec
Mathematicians use
Lean
to
verify
proofs
, whats the equivalent for patent claims
💻
Computer Science
fearn.ai
·
3d
3 days ago
·
Hacker News
Actions for Mathematicians use Lean to verify proofs, whats the equivalent for patent claims
Cadence ChipStack AI Super Agent Achieves Full Autonomy For Chip Development
💻
Computer Science
pokde.net
·
2d
2 days ago
Actions for Cadence ChipStack AI Super Agent Achieves Full Autonomy For Chip Development
Pramaana Labs raised $27M to wrap AI in mathematical
proof
for law, tax, and drug discovery
💻
Computer Science
Content type:
News
thenextweb.com
·
23h
23 hours ago
Actions for Pramaana Labs raised $27M to wrap AI in mathematical proof for law, tax, and drug discovery
UniFi ENAS Review – $3999 Well Spent?
🧩
Constraint Solving
nascompares.com
·
22h
22 hours ago
Actions for UniFi ENAS Review – $3999 Well Spent?
The French School of Programming
💻
Computer Science
Content type:
Academic
Content type:
Reference
link.springer.com
·
3d
3 days ago
·
Hacker News
Actions for The French School of Programming
Verifying LTL for Infinite State Systems via Termination Analysis
✅
Formal Methods
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Verifying LTL for Infinite State Systems via Termination Analysis
Advanced Compilers: The Self-Guided Online Course
⚙️
Compilers
Content type:
Academic
cs.cornell.edu
·
1d
1 day ago
·
Hacker News
·
Covers:
llvm.org - 20.3 kb
Actions for Advanced Compilers: The Self-Guided Online Course
Architect Labs nabs $24M to speed up chip design projects with AI
💻
Computer Science
siliconangle.com
·
12h
12 hours ago
Actions for Architect Labs nabs $24M to speed up chip design projects with AI
Looking for a cryptography audit? Here's where to go
🔑
Cryptography
cryptologie.net
·
4d
4 days ago
Actions for Looking for a cryptography audit? Here's where to go
Scalendar – July 2026
✅
Formal Methods
Content type:
Blog
scalac.io
·
1d
1 day ago
Actions for Scalendar – July 2026
Page 2 »
Log in to enable infinite scrolling
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
Save / unsave
s
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
Like
Save
Dislike
Report