👑 Isabelle/HOL

Higher-order Logic, Formal Proofs, Mathematical Verification, Interactive Proving

Feeds to Scour
SubscribedAll
Scoured 19397 posts in 585.9 ms
Agentic Proof-Oriented Programming
risemsr.github.io·2d·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set
arxiv.org·2d
🦀Rust Verification
Logic for Programmers New Release and Next Steps
buttondown.com·3d
⚙️Proof Engineering
Differential Logic • 1
inquiryintoinquiry.com·2d
📏Linear Logic
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...
freederia.com·1d
🤝Consensus Protocols
Beyond the Chatbox: Engineering Your Prompts with the Trinity Framework
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Let Lambda Come Over
yamlscript.org·1d
⬆️Lambda Lifting
Build a Compiler in Five Projects
kmicinski.com·21h
🔨Compilers
First Proof | Research-Level Math for AI Evaluation
1stproof.org·1d·
Discuss: Hacker News
🎯Performance Proofs
Memory-Safe Jule language emerges as C/C++ alternative
thenewstack.io·15h
🦀Rust Macros
Bayesian Networks and Proof-Nets: the proof-theory of Bayesian Inference
arxiv.org·3d
📏Linear Logic
AL, Logical
mathhombre.blogspot.com·3d·
Discuss: mathhombre.blogspot.com
🏛️Isabelle HOL
Logic Puzzles: Why the Liar Is the Helpful One
blog.szczepan.org·1d·
Discuss: Hacker News
🔲Proof Irrelevance
How I Built My Project in Haskell
dev.to·7h·
Discuss: DEV
🔗Functional Compilers
Railway Oriented Programming
fsharpforfunandprofit.com·1d·
Discuss: Hacker News
🐚Shell Monads
creact-labs/creact: CReact is a meta-runtime for building domain-specific, reactive execution engines.
github.com·2h·
Discuss: r/node, r/reactjs
🦀Rust Macros
Pratt Parsers: Expression Parsing Made Easy
journal.stuffwithstuff.com·12h
📝Concrete Syntax
DCP-o-matic • CPL as compositions and multiple CPLs
dcpomatic.com·1d
✅CDDL Validation
Revisiting Regular Types
abseil.io·8h
λLambda Encodings
six-ddc/ccbot: Telegram ↔ tmux bridge for Claude Code: 1 topic = 1 window = 1 session
github.com·17h·
Discuss: Hacker News, r/ClaudeAI
🔄Sync Engine

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
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
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help