← Back to Language Atlas

LANGUAGE / REVIEWED

Lean

Lean: language, Static, Strong typing, Compiled and Interpreted execution, and Standalone executable.

Lean classification facts

Paradigm
  • Functional
  • Declarative
Typing
  • Static
  • Strong
Execution
  • Compiled
  • Interpreted
Platform
  • Windows
  • macOS
  • Linux
Runtime
  • Standalone executable