Think
LLM
Models
Capabilities
Use Cases
Benchmarks
Papers
Glossary
Search
/
Lean Formalization — Glossary — ThinkLLM
Glossary
/
Lean Formalization
Lean Formalization
techniques
Expressing mathematical proofs and definitions in Lean, a formal proof assistant language.