← Back

Lean SMT

software

Last discussed Oct 17, 2026

A tool that brings SMT solvers into the Lean theorem prover to discharge proof goals automatically.

Recently discussed in

AI Safety Fact vs. Fiction | YC Paper Club

Clark Barrett · Oct 17, 2026

Created by

Clark Barrett

creator

Used for: Automatically proving Lean theorems Praised: Fast (milliseconds on a CPU) and cheap vs: Cheaper and better than AI for proving Lean theorems

"We have some techniques that are much cheaper and better than AI, like Lean SMT, which is a tool that we built in my lab. It can prove a lot of Lean theorems in milliseconds on a CPU."

AI Safety Fact vs. Fiction | YC Paper Club · ▶ 22:24 · Oct 17, 2026

Keep exploring

Formal verification topic · 12 products Theorem proving topic · 3 products

Topics

formal verification theorem proving smt

About this data

✓44,000+ mentions extracted from real podcast transcripts
✓Every quote links to the source episode
✓Sponsored mentions are always labeled
✓Critical takes are shown, never filtered out

How Followed works →

Get an email when a new creator recommends it