9 open source projects by leanprover

Homepage Theorem Proving in Lean FAQ

Lean theorem prover version 0.2 (it supports standard and HoTT modes)

Lean 4 programming language and theorem prover

An extension for VS Code which provides support for the Lean language.

Emacs mode for Lean

A Lean version manager

Lean 4 build system and package manager with configuration files written in Lean.

No description, website, or topics provided.

Theorem proving in Lean