leanprover-community

icon indicating a website link https://leanprover-community.github.io/

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

Results 35 repositories owned by leanprover-community

mathzoo

22
Stars
4
Forks
Watchers

Lean mathzoo

verified publisher icon leanprover-community

sphere-eversion

34
Stars
10
Forks
Watchers

Formalization of the existence of sphere eversions

verified publisher icon leanprover-community

tutorials

179
Stars
62
Forks
Watchers

Some Lean tutorials

verified publisher icon leanprover-community

ProofWidgets4

89
Stars
22
Forks
Watchers

Helper toolkit for creating your own Lean 4 UserWidgets

verified publisher icon leanprover-community

con-nf

73
Stars
8
Forks
73
Watchers

A formal consistency proof of Quine's set theory New Foundations

verified publisher icon leanprover-community

duper

39
Stars
6
Forks
Watchers

verified publisher icon leanprover-community

lean-auto

49
Stars
6
Forks
Watchers

Experiments in automation for Lean

verified publisher icon leanprover-community

lean4game

124
Stars
20
Forks
Watchers

Server to host lean games.

verified publisher icon leanprover-community

lean4web

47
Stars
14
Forks
Watchers

The Lean 4 web editor

verified publisher icon leanprover-community

leancrawler

17
Stars
3
Forks
Watchers

An obsolete python library which gathers statistics and relational information about Lean 3 libraries.

verified publisher icon leanprover-community