Lean SMT

Software / App

A tool developed by Clark Barrett's lab that can prove many Lean theorems very quickly, enhancing formal verification.

Mentioned in 1 video

Videos Mentioning Lean SMT

AI Safety Fact vs. Fiction | YC Paper Club

AI Safety Fact vs. Fiction | YC Paper Club

Y Combinator

A tool developed by Clark Barrett's lab that can prove many Lean theorems very quickly, enhancing formal verification.