13 open source projects by leanprover-community

Lean Theorem Prover

Lean mathematical components library

Perfectoid spaces in the Lean formal theorem prover.

Work in progress mathlib port for lean 4

Lean for the Curious Mathematician 2020

A Lean file formatter

Formalization of the existence of sphere eversions

💧 Liquid Tensor Experiment

Development tools for https://github.com/leanprover-community/mathlib

Mathport is a tool for porting Lean3 projects to Lean4

Generate HTML documentation for mathlib and Lean

Python talking to the Lean theorem prover

The user home repository for the Mathematics in Lean tutorial.