Lean 4 programming language and theorem prover
Lean 2.1k 200
Standard Library for Lean 4
Lean 60 23
Nightly builds
LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
Theorem Proving in Lean 4
Document Generator for Lean 4
Emacs major mode for Lean 4
Visual Studio Code extension for the Lean 4 proof assistant
Lean 4 build system and package manager with configuration files written in Lean.
An extension for VS Code which provides support for the Lean language.
Loading…
