Lean is an open-source theorem prover and programming language based on dependent type theory, designed for formal verification of mathematics and software. It supports interactive proof development and is used by mathematicians and computer scientists.
URL: Visit APIs.json URL
- Type: Index
- Position: Consuming
- Access: 3rd-Party
- Theorem Prover, Formal Verification, Dependent Types, Programming Language
- Created: 2025-01-01
- Modified: 2026-04-28
Lean theorem prover and programming language for formal verification of mathematics and software.
Human URL: https://lean-lang.org/
- Theorem Prover, Formal Verification
FN: Kin Lane
Email: kin@apievangelist.com