leanprover-community

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

Pinned Repositories

aesop
White-box automation for Lean 4
Language:Lean214 9 6328
batteries
The "batteries included" extended library for the Lean programming language and theorem prover
Language:Lean253 16 62105
lean
Lean 3 Theorem Prover (community fork)
Language:C++435 28 20580
lean-liquid
💧 Liquid Tensor Experiment
Language:Lean181 14 7615
lean4-metaprogramming-book
Language:Lean225 9 3956
lean4game
Server to host lean games.
Language:TypeScript198 9 22835
mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
Language:HTML275 14 0200
mathlib3
Lean 3's obsolete mathematical components library: please use mathlib4
Language:Lean1.7k 53 362298
mathlib4
The math library of Lean 4
Language:Lean1.6k 39 419342
ProofWidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
Language:Lean116 8 2127

leanprover-community's Repositories

leanprover-community/mathlib3
Lean 3's obsolete mathematical components library: please use mathlib4
Language:Lean1.7k 53 362298
leanprover-community/lean
Lean 3 Theorem Prover (community fork)
Language:C++435 28 20580
leanprover-community/lean-liquid
💧 Liquid Tensor Experiment
Language:Lean181 14 7615
leanprover-community/tutorials
Some Lean tutorials
Language:Lean181 8 1161
leanprover-community/lean-perfectoid-spaces
Perfectoid spaces in the Lean formal theorem prover.
Language:Lean117 14 1513
leanprover-community/lean4-samples
Code samples for Lean 4
Language:Lean71 8 523
leanprover-community/format_lean
A Lean file formatter
Language:Python63 11 89
leanprover-community/lftcm2020
Lean for the Curious Mathematician 2020
Language:Lean63 16 6277
leanprover-community/lean-client-python
Python talking to the Lean theorem prover
Language:Python41 7 136
leanprover-community/mathlib-tools
Development tools for https://github.com/leanprover-community/mathlib
Language:Python33 18 4329
leanprover-community/tutorials4
Lean 4 tutorial files
Language:Lean30 17 04
leanprover-community/mathzoo
Lean mathzoo
Language:Lean24 20 04
leanprover-community/leancrawler
An obsolete python library which gathers statistics and relational information about Lean 3 libraries.
Language:Python17 6 13
leanprover-community/lean-web-editor
Lean 3 web editor
Language:TypeScript11 5 515
leanprover-community/highlightjs-lean
A highlight.js language grammar for the Lean theorem proving language.
Language:JavaScript8 9 32
leanprover-community/liquid
Website and documentation for the Liquid Tensor Experiment
Language:TeX6 13 45
leanprover-community/mathlib_docs
Hosts the HTML documentation for mathlib.
6 7 13
leanprover-community/lt2021
Website for Lean Together 2021
Language:JavaScript53
leanprover-community/archive-old
Language:HTML3
leanprover-community/mathlib-port-status
Tools for managing the status of the port
Language:Jinja3 18 45
leanprover-community/yasnippet-lean
Language:YASnippet33
leanprover-community/archive
Replacement for the archive repo
Language:HTML2 16 23
leanprover-community/mathlib4_with_LeanInfer
Language:Lean2 19 0
leanprover-community/mathlib_docs_demo
2 16 03
leanprover-community/azure-scripts
scripts and cron jobs for Azure
Language:Python1 8 25
leanprover-community/byte-slice
Language:Lean1
leanprover-community/mathematics_in_lean3
The user repository for the Mathematics in Lean 3 tutorial
Language:HTML1 16 02
leanprover-community/merge-queue-test
Language:Lean1 16 00
leanprover-community/test-mathport
Language:Dockerfile1 17 01
leanprover-community/static-curl
Static curl binaries
17 0