🏛️ Isabelle HOL

Higher-order Logic, Proof Development, Mathematical Foundations, Interactive Verification

Feeds to Scour
SubscribedAll
Scoured 11512 posts in 246.5 ms
Translating Informal Proofs into Formal Proofs Using a Chain of States
arxiv.org·3d
⚔️Lean Tactics
Preview
Report Post
Understanding Mathematics Through Lean
bytesauna.com·19h·
Discuss: Hacker News
🔬Lean
Preview
Report Post
Some Lean Syntax for Knuckledragger
philipzucker.com·1d
🧠Lisp Dialects
Preview
Report Post
TLA+ modeling tips
muratbuffalo.blogspot.com·7h·
Discuss: Lobsters
⚙️TLA+
Preview
Report Post
SMT-LIB
smt-lib.org·12h
🧮SMT Solvers
Preview
Report Post
Tautological assertions are not always caused by aliasing
blog.ploeh.dk·12h
⚖️Hoare Logic
Preview
Report Post
ClickHaskell 1.0.0 is out
github.com·1d·
Discuss: Lobsters
🔗Functional Compilers
Preview
Report Post
Fast Sequence Iteration in Common Lisp
world-playground-deceit.net·2d·
Discuss: Hacker News
🧠Lisp Dialects
Preview
Report Post
Building an Agentic AI System for Accessibility Mapping: My Kaggle Capstone Experience
dev.to·12h·
Discuss: DEV
🗺️Competency Maps
Preview
Report Post
Multi-clocked Guarded Recursion Beyond {\omega}
arxiv.org·22h
λLambda Encodings
Preview
Report Post
From Zero to QED: An informal introduction to formality with Lean 4
sdiehl.github.io·2d·
Discuss: Hacker News
⚔️Lean Tactics
Preview
Report Post
Sign Relations • Definition
inquiryintoinquiry.com·1d
🔍Archive Semantics
Preview
Report Post
The Coming Need for Formal Specification
benjamincongdon.me·3d
📋Formal Verification
Preview
Report Post
CI/CD Evolution: From Pipelines to AI-Powered DevOps • Olaf Molenveld & Julian Wood • GOTO 2025
youtube.com·14h
🔄Reproducible Builds
Preview
Report Post
Gist of Go: Concurrency is out!
antonz.org·3d
⚔️Lean Tactics
Preview
Report Post
Customize agent workflows with advanced orchestration techniques using Strands Agents
aws.amazon.com·9h
🏠Homelab Orchestration
Preview
Report Post
Advent of Swift
leahneukirchen.org·1d
🔗Lisp
Preview
Report Post
Bounding Hallucinations: Information-Theoretic Guarantees for RAG Systems via Merlin-Arthur Protocols
arxiv.org·22h
🛡️Proof-Carrying Archives
Preview
Report Post
A very unscientific guide to the security of various PQC algorithms
keymaterial.net·2d·
Discuss: Lobsters
🔲Lattice Cryptography
Preview
Report Post
Mining Legal Arguments to Study Judicial Formalism
arxiv.org·22h
🧮Theorem Proving
Preview
Report Post