⚙️ Proof Engineering - matmat · Scour

Abduction Prover in Isabelle/HOL

👑Isabelle/HOL Academic

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

lix.polytechnique.fr·

Proof System Timelines

📐Proof Assistants Blog

AWS can now mathematically prove your VMs are isolated

💻Operating System, OS

thenewstack.io·

JamesC-xhecarpenxer/JC-Compute-Model: This is JC Compute a solution for digital trust.

⚔️Lean Theorem Code

github.com··Hacker News

Quanta Books Releases The Proof in the Code

👑Isabelle/HOL

simonsfoundation.org·

How AI is reshaping discovery in maths and physics

🇸Sweden Academic

nature.com··Hacker News

Introducing Jo — Secure Programming for the AI Era

💻programming languages Blog

jo-lang.org··Hacker News

a topos-oriented language with a content-addressed lattice heap

💻Programming languages

yon-lang.org··Hacker News

A Proof in Coq that Core Logic is not Paraconsistent

🔲Proof Irrelevance Academic

TiruArt/Pedigree-Polytopes-Lean4: Lean 4 machine-verified proof that Membership Problem for Pedigree Polytopes, M3P ∈ P and P = NP via properties of Pedigree Polytopes.

⚔️Lean Theorem Code

github.com··Hacker News

Formal Foundations and Proof-Carrying Certificates for q-ary Covering Codes in Lean 4

🔬Lean Academic

Strict stability of extension types

💻Programming languages Academic

Formal verification of the S-two AIR

💻Programming languages Academic

Evaluation of LLMs for Mathematical Formalization in Lean

⚔️Lean Theorem Academic

Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement

🔬Lean Academic

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

📐Proof Assistants Academic

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

📐Proof Assistants Academic

Imbuing Large Language Models with Bidirectional Logic for Robust Chain Repair

🔬Lean Academic

No more posts from matmat's subscribed feeds.

Scour all 25255 feeds Learn more about Feeds

Log in to enable infinite scrolling