📐 Proof Assistants - matmat · Scour

Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs

lix.polytechnique.fr·

Abduction Prover in Isabelle/HOL

👑Isabelle/HOL Academic

Proof System Timelines

🧮Theorem Proving Blog

Quanta Books Releases The Proof in the Code

👑Isabelle/HOL

simonsfoundation.org·

Less-relevant results

How AI is reshaping discovery in maths and physics

🇸Sweden Academic

nature.com··Hacker News

Issue 527

🔗Functional Compilers

haskellweekly.news·

ICYMI: May 2026 @AWS Security

🔗Supply Chain Blog

aws.amazon.com·

Introducing Jo — Secure Programming for the AI Era

💻programming languages Blog

jo-lang.org··Hacker News

A Proof in Coq that Core Logic is not Paraconsistent

🔲Proof Irrelevance Academic

Rust, C++, and the Tradeoffs Behind Safe Low-Level Code: interview with Nikita Lisitsa

🔒Type Safety Blog Discussion

Formal verification of the S-two AIR

💻Programming languages Academic

Extraction and Search in Rocq: Theorems, Definitions and Their dependencies

📋Formal Verification Academic

Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory

💻CS Academic

A Reproducible Certificate for the Brass--Sharifi Lower Bound in Lebesgue's Universal Cover Problem

📊Computational Geometry Academic

No more posts from matmat's subscribed feeds.

Scour all 25255 feeds Learn more about Feeds

Log in to enable infinite scrolling