AI use cases

Verify a mathematical proof by translating it into Lean.

🔒  This use case is in the locked catalog. The description, method, result and source video — the free sample is the first 50; the rest come with a library pass. Unlock