Lean

Tags: functional

Related tools:

Lean Summary
Language Lean
Home Page