🏛️ Isabelle HOL

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

Proof-theoretic Semantics for First-order Logic
arxiv.org·7h
🏗️Constructive Logic
Cresting the 0Caml Al Humps
anil.recoil.org·2h·
Discuss: Hacker News
🦀Rust Macros
Fast and Simple Rust Interner
matklad.github.io·3h
🦀Rust Verification
Issue 481
haskellweekly.news·23h
🔗Functional Compilers
Not Even Bronze? Evaluating LLMs on 2025 International Math Olympiad
matharena.ai·6h·
Discuss: Hacker News
🧮SMT Solvers
Functional Abstract Interpretation
simon.peytonjones.org·3d·
Discuss: Hacker News
🔗Functional Compilers
Python Fundamentals: case
dev.to·23h·
Discuss: DEV
✅Format Verification
From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·22h·
Discuss: Hacker News
🤝Distributed Consensus
Logical implication is a comparison operator
btdmaster.bearblog.dev·16h·
Discuss: Hacker News
🔲Proof Irrelevance
Claude Code on Amazon Bedrock - Anthropic
docs.anthropic.com·6h
👑Isabelle
Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.org·3d
🏗️Constructive Mathematics
About our proof-of-concept LLM tool for navigating Debian's manpages
gwolf.org·1d
🦀Rust Macros
Probabilistic Soundness Guarantees in LLM Reasoning Chains
arxiv.org·7h
🛡️Proof-Carrying Archives
State of the Art of Prompt Engineering • Mike Taylor • GOTO 2025
youtube.com·23h
🖥️Terminal Renaissance
Hyperpb: 10x faster dynamic Protobuf parsing in Go
buf.build·11h·
Discuss: Hacker News
📋Protocol Buffers
H-Nets – The Future
goombalab.github.io·3h·
Discuss: Hacker News
📼Cassette Combinators
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·2d·
Discuss: Hacker News
🎯Interactive Provers
Information modeling example: Call sheet
disruptivearchitecture.info·4h
🚚Data Migration
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·3d·
Discuss: Hacker News
🔍Type Inference
Partial decidability protocol for the Wang tiling problem from statistical mechanics and chaotic mapping
arxiv.org·7h
🎯Performance Proofs