📖 Formal Semantics - 2601 · Scour

Abduction Prover in Isabelle/HOL

⚡Automated Reasoning Academic

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

🔗Dependent Types

lix.polytechnique.fr·

Less-relevant results

Proof System Timelines

✓Formal Methods Blog

AWS can now mathematically prove your VMs are isolated

✓Formal Methods

thenewstack.io·

A Proof in Coq that Core Logic is not Paraconsistent

✓Formal Methods Academic

Neon NTT - (Auto)formalised

⚡Automated Reasoning

eprint.iacr.org·

Lean Programming Language

✓Formal Methods

lean-lang.org·

Formal verification of the S-two AIR

✓Formal Methods Academic

Quanta Books Releases The Proof in the Code

✓Formal Methods

simonsfoundation.org·

Programming Languages Software Award

✓Formal Methods

A Normative Intermediate Representation for ASP-Based Compliance Reasoning

⚙️Compiler Design Academic

Reversible Numeric Composite Key (RNCK)

⚖️Inference Rules Academic

The Proof in the Code

✓Formal Methods

quantabooks.org·

Introducing Jo — Secure Programming for the AI Era

📐Type Theory Blog

jo-lang.org··Hacker News

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

✓Formal Methods Academic

nCMD: Benign-Anchored Feature Selection for Imbalanced Network Intrusion Detection

🌐Network Security Academic

How AI is reshaping discovery in maths and physics

✓Formal Methods Academic

nature.com··Hacker News

One Language To Rule Them All

📐Type Theory Blog

programmingsimplicity.substack.com··Substack

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

✓Formal Methods Academic

The Biomimetic Architecture of Software 4.0

⚖️Inference Rules Academic

Log in to enable infinite scrolling