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
Proof Automation
⚡ Proof Automation
Tactic Languages, Auto Tactics, Proof Search, Hammer Tools
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
52
posts in
10.7
ms
Abduction
Prover
in
Isabelle/HOL
👑
Isabelle/HOL
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for Abduction Prover in Isabelle/HOL
Virtue and a
Sledgehammer
- A narrative exploration game about tearing apart your hometown with a
sledgehammer
to overcome your devastating past and feelings of...
⚖️
Game Preservation Ethics
Content type:
Video
youtu.be
·
2d
2 days ago
·
r/TwoBestFriendsPlay
Actions for Virtue and a Sledgehammer - A narrative exploration game about tearing apart your hometown with a sledgehammer to overcome your devastating past and feelings of...
Neon NTT - (
Auto
)
formalised
👑
Isabelle
eprint.iacr.org
·
15h
15 hours ago
Actions for Neon NTT - (Auto)formalised
Bleak, disquieting action game Virtue and a
Sledgehammer
blends family heartbreak with stout wall-smashing in its new demo
🏺
Gaming Archaeology
Content type:
News
rockpapershotgun.com
·
2d
2 days ago
Actions for Bleak, disquieting action game Virtue and a Sledgehammer blends family heartbreak with stout wall-smashing in its new demo
AWS can now mathematically
prove
your VMs are isolated
💻
Operating System, OS
thenewstack.io
·
4h
4 hours ago
Actions for AWS can now mathematically prove your VMs are isolated
Virtue and a
Sledgehammer
has a new demo and a thought-provoking trailer that
proves
the game is about more than just smashing things (but you will still smash loads of things)
⚖️
Game Preservation Ethics
Content type:
News
pcgamer.com
·
3d
3 days ago
Actions for Virtue and a Sledgehammer has a new demo and a thought-provoking trailer that proves the game is about more than just smashing things (but you will still smash loads of things)
Programming
Languages
Software Award
📋
Formal Verification
sigplan.org
·
12h
12 hours ago
Actions for Programming Languages Software Award
Proof
System Timelines
📐
Proof Assistants
Content type:
Blog
klatz.co
·
2d
2 days ago
Actions for Proof System Timelines
Asking the important questions.
⚙️
Proof Engineering
Content type:
News
theverge.com
·
3d
3 days ago
Actions for Asking the important questions.
TiruArt/Pedigree-Polytopes-Lean4
: Lean 4
machine-verified
proof
that Membership Problem for Pedigree Polytopes, M3P ∈ P and P = NP via properties of Pedigree Polytopes.
⚔️
Lean Theorem
Content type:
Code
github.com
·
5d
5 days ago
·
Hacker News
Actions for TiruArt/Pedigree-Polytopes-Lean4: Lean 4 machine-verified proof that Membership Problem for Pedigree Polytopes, M3P ∈ P and P = NP via properties of Pedigree Polytopes.
Terrifying moment journalist records her own kidnapping by masked gunmen pointing rifle as she remains missing
🏴☠️
Piracy
thesun.co.uk
·
6d
6 days ago
Actions for Terrifying moment journalist records her own kidnapping by masked gunmen pointing rifle as she remains missing
TheoremBench
: Evaluating LLMs on Theorem
Proving
in
Formal
Mathematics
🧮
Theorem Proving
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for TheoremBench: Evaluating LLMs on Theorem Proving in Formal Mathematics
Robbers who stole Romanian treasures from a Dutch museum each sentenced to 47 months in prison
🔍
Tape Forensics
Content type:
News
independent.co.uk
·
5d
5 days ago
Actions for Robbers who stole Romanian treasures from a Dutch museum each sentenced to 47 months in prison
[Wargaming] The quickest paintjob in months.
🔬
Floppy imaging
Content type:
Blog
skald.bearblog.dev
·
5d
5 days ago
Actions for [Wargaming] The quickest paintjob in months.
The Facelifted Mercedes-AMG CLE Will Have You Seeing Stars, But It’s The V8 We Care About
🧮
Algebraic Datatypes
Content type:
News
carscoops.com
·
5d
5 days ago
Actions for The Facelifted Mercedes-AMG CLE Will Have You Seeing Stars, But It’s The V8 We Care About
Parallel
SMT
Solving via Dynamic Partitioning, Core-Guided Pruning, and Online Backbone Detection
🧮
Constraint Solvers
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Parallel SMT Solving via Dynamic Partitioning, Core-Guided Pruning, and Online Backbone Detection
Empulse's frantic movement and giant mechs are giving me serious Xbox 360-era FPS nostalgia
🕹️
Retro Gaming
Content type:
News
pcgamer.com
·
3d
3 days ago
Actions for Empulse's frantic movement and giant mechs are giving me serious Xbox 360-era FPS nostalgia
Lean4Agent
:
Formal
Modeling and
Verification
for Agent Workflow and Trajectory
💻
CS
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory
book-assets/supplements/function-sets.md at master · logicforprogrammers/book-assets
🧠
Computational Logic
Content type:
Code
github.com
·
5d
5 days ago
Actions for book-assets/supplements/function-sets.md at master · logicforprogrammers/book-assets
Thieves who stole Romanian treasures from a Dutch museum each sentenced to 47 months in prison
🏛️
Preservation Standards
Content type:
News
apnews.com
·
5d
5 days ago
Actions for Thieves who stole Romanian treasures from a Dutch museum each sentenced to 47 months in prison
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