About Lean
Lean is a functional programming language that can also be used as an interactive theorem prover. Programs are expressed through types and functions, and the language includes type inference, pattern matching, type classes, extensible syntax, macros, and metaprogramming. Its dependent types let mathematical statements be represented in a form that can be checked by the system. Users can prove properties of functions within Lean, connecting software development with formal verification. These features support both programming and mathematical reasoning in one environment. The supplied description does not specify libraries, editor integrations, or proof automation tools. Lean’s distinctive role is combining functional programming with the ability to state and verify proofs.
Categories
Platforms
Website & Downloads
Trusted package or store listing
Related software
- .NET Reactor — .NET Reactor is a code-protection and software-licensing system for applications built on the .NET Framework.
- 010 Editor — 010 Editor is a text and hexadecimal editor with Binary Templates technology.
- 10x — 10x is a Windows code editor designed for large C++ projects.
- 8051 Disassembler — 8051 Disassembler converts Intel HEX files for the 8051 microcontroller family into readable assembly listings.
- ACS — ACS, or Admin Config Service, is a command-line interface for managing configuration and administrative tasks in a cloud platform.
- APK Editor Studio — APK Editor Studio is an APK editor and reverse-engineering tool for desktop computers.
