leanprover-community / physlib

A project to digitalise results from physics into Lean.

leanprover / lean4

Lean 4 programming language and theorem prover

leanprover / cslib

The Lean Computer Science Library (CSLib)

leanprover-community / mathlib4

The math library of Lean 4

leanprover / elan

The Lean version manager

leanprover-community / mathematics_in_lean

The user home repository for the Mathematics in Lean tutorial.

Julian / lean.nvim

Neovim support for the Lean theorem prover

leanprover-community / lean4game

Server to host Lean games

leanprover / con-leche

An external lean checker with a proof of consistency

leanprover / con-ron

A rust port of con-leche