AI products & services

Lean

Link

https://lean-lang.org

Mentioned in

1 video

Kind

Other tool — not classified as AI

What people use it for

• Formalized the AI-generated mathematical proofs.
  Wes Roth