✳️ Proof Theory - Erichseen · Scour

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

lix.polytechnique.fr·

Proof System Timelines

⊢Logic Blog

Abduction Prover in Isabelle/HOL

λType Theory Academic

Less-relevant results

Lean Programming Language

lean-lang.org·

Quanta Books Releases The Proof in the Code

simonsfoundation.org·

Programming Languages Software Award

🔷Functional Programming

Introducing Jo — Secure Programming for the AI Era

λType Theory Blog

jo-lang.org··Hacker News

A Proof in Coq that Core Logic is not Paraconsistent

λType Theory Academic

The Proof in the Code

quantabooks.org·

One Language To Rule Them All

λType Theory Blog

programmingsimplicity.substack.com··Substack

AWS can now mathematically prove your VMs are isolated

thenewstack.io·

In his new book India’s Solicitor General Tushar Mehta studies the bizarre behaviour of AI bots

🤔Philosophy of CS News

How AI is reshaping discovery in maths and physics

λType Theory Academic

nature.com··Hacker News

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

λType Theory Academic

Formal verification of the S-two AIR

λType Theory Academic

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

λType Theory Academic

Log in to enable infinite scrolling