Skip to content
@leanprover-community

leanprover-community

Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover

Pinned

  1. mathlib4 mathlib4 Public

    The math library of Lean 4

    Lean 889 227

  2. mathematics_in_lean mathematics_in_lean Public

    The user home repository for the Mathematics in Lean tutorial.

    HTML 184 128

  3. mathport mathport Public

    Mathport is a tool for porting Lean3 projects to Lean4

    Lean 40 15

  4. lean-liquid lean-liquid Public

    💧 Liquid Tensor Experiment

    Lean 155 11

Repositories

Showing 10 of 65 repositories
View all repositories

Most used topics

lean4 lean lean3