Formal Verification

Explore recommended reads, summarized by AI

AI and Formal Methods

Discussions of how artificial intelligence and large language models intersect with formal verification and mathematical proof.

LLMs in Mathematical Proof

Verification Tools and Languages

Explorations of specific proof assistants, theorem provers, and verification frameworks for software correctness.

Lean 4 for Rust Verification

Smart Contract Verification

Popular this week

Hideaki Takahashi

Building a Mini Lean 4 from Scratch: Implementing an Interactive Theorem Prover in Rust

1d ago

Hideaki Takahashi

I Rebuilt an AI Gateway in Rust. It Became 41× Faster.

6d ago

Rustaceans

Enzo Lombardi

🦀 Verifying Rust Code - Advanced

2d ago

Hideaki Takahashi

Proving Rust Web Application Correctness with Lean 4

Oct 6

Aditi Mishra

AI can now prove your code is safe, not just test it

1d ago

Latest stories

Aditi Mishra

AI can now prove your code is safe, not just test it

1d ago

Hideaki Takahashi

Building a Mini Lean 4 from Scratch: Implementing an Interactive Theorem Prover in Rust

1d ago

Rustaceans

Enzo Lombardi

🦀 Verifying Rust Code - Advanced

2d ago

Mark Maguire

Tuesday Morning Threat Report: Nov 3, 2026

2d ago

Level Up Coding

Cfir Aguston

This Is Not Another Rust vs. C Article

3d ago

See more stories

Formal Verification

AI and Formal Methods

LLMs in Mathematical Proof

Verification Tools and Languages

Lean 4 for Rust Verification

Smart Contract Verification

Popular this week

Building a Mini Lean 4 from Scratch: Implementing an Interactive Theorem Prover in Rust

I Rebuilt an AI Gateway in Rust. It Became 41× Faster.

🦀 Verifying Rust Code - Advanced

Proving Rust Web Application Correctness with Lean 4

AI can now prove your code is safe, not just test it

Latest stories

AI can now prove your code is safe, not just test it

Building a Mini Lean 4 from Scratch: Implementing an Interactive Theorem Prover in Rust

🦀 Verifying Rust Code - Advanced

Tuesday Morning Threat Report: Nov 3, 2026

This Is Not Another Rust vs. C Article

Who to follow

Popular this week

Building a Mini Lean 4 from Scratch: Implementing an Interactive Theorem Prover in Rust

I Rebuilt an AI Gateway in Rust. It Became 41× Faster.

🦀 Verifying Rust Code - Advanced

Proving Rust Web Application Correctness with Lean 4

AI can now prove your code is safe, not just test it

Latest stories

AI can now prove your code is safe, not just test it

Building a Mini Lean 4 from Scratch: Implementing an Interactive Theorem Prover in Rust

🦀 Verifying Rust Code - Advanced

Tuesday Morning Threat Report: Nov 3, 2026

This Is Not Another Rust vs. C Article

Who to follow