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
Logic in Computer Science
🔬 Logic in Computer Science
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
26
posts in
11.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
Samuel Mimram — CSC_51051_EP --
Computational
logic
: from Artificial intelligence to Zero bugs
🏛️
Agda
lix.polytechnique.fr
·
10h
10 hours ago
Actions for Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
Proof
System Timelines
📐
Proof Assistants
Content type:
Blog
klatz.co
·
1d
1 day ago
Actions for Proof System Timelines
Programming Languages Software Award
📋
Formal Verification
sigplan.org
·
11h
11 hours ago
Actions for Programming Languages Software Award
bmc4j/bmc4j: Bounded
model
checking
for JVM tests, powered by JBMC -
prove
your Java or Kotlin code correct for every input, as easily as writing a JUnit test
⚡
SMT Applications
Content type:
Code
github.com
·
5d
5 days ago
·
Hacker News
Actions for bmc4j/bmc4j: Bounded model checking for JVM tests, powered by JBMC - prove your Java or Kotlin code correct for every input, as easily as writing a JUnit test
Neon NTT - (
Auto
)
formalised
👑
Isabelle
eprint.iacr.org
·
13h
13 hours ago
Actions for Neon NTT - (Auto)formalised
Programming Languages Course Reboot, 2026
💻
Programming languages
Content type:
Reference
docs.google.com
·
1d
1 day ago
·
Lobsters
,
Hacker News
Actions for Programming Languages Course Reboot, 2026
Design Reliable, Scalable Distributed Systems
💻
Programming languages
fizzbee.io
·
6d
6 days ago
Actions for Design Reliable, Scalable Distributed Systems
Subversion-Resistance for Free from
Formal
Verification
🌐
NetworkProtocols
lesswrong.com
·
1d
1 day ago
Actions for Subversion-Resistance for Free from Formal Verification
a topos-oriented language with a content-addressed lattice heap
💻
Programming languages
yon-lang.org
·
5d
5 days ago
·
Hacker News
Actions for a topos-oriented language with a content-addressed lattice heap
Amazon S3 Doesn't Hope Hardware Won't Fail. It Assumes It Already Has.
📐
Linear Algebra
Content type:
Video
youtube.com
·
5d
5 days ago
·
DEV
Actions for Amazon S3 Doesn't Hope Hardware Won't Fail. It Assumes It Already Has.
A
Proof
in
Coq
that Core
Logic
is not Paraconsistent
🔲
Proof Irrelevance
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for A Proof in Coq that Core Logic is not Paraconsistent
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
Correct-by-Construction Design of Timed Systems in Event-B
💻
CS
Content type:
Academic
arxiv.org
·
5d
5 days ago
Actions for Correct-by-Construction Design of Timed Systems in Event-B
Strict stability of extension
types
💻
Programming languages
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Strict stability of extension types
The Complexity of Asynchronous HyperLTL
🌐
NetworkProtocols
Content type:
Academic
arxiv.org
·
5d
5 days ago
Actions for The Complexity of Asynchronous HyperLTL
Extraction and Search in Rocq:
Theorems
, Definitions and Their dependencies
📐
Proof Assistants
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for Extraction and Search in Rocq: Theorems, Definitions and Their dependencies
Explainably Safe Reinforcement
Learning
🔄
Session Type Inference
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for Explainably Safe Reinforcement Learning
Bootstrap-based Hypothesis Test of 2D Contours using Elastic Shape Analysis
🌀
Differential Geometry
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for Bootstrap-based Hypothesis Test of 2D Contours using Elastic Shape Analysis
VASO:
Formally
Verifiable Self-Evolving Skills for Physical AI Agents
🌐
NetworkProtocols
Content type:
Academic
arxiv.org
·
5d
5 days ago
Actions for VASO: Formally Verifiable Self-Evolving Skills for Physical AI Agents
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