Lean

icon indicating a website link https://lean-lang.org/

icon location Lean Prover

Results 26 repositories owned by Lean

lean-mode

68
Stars
18
Forks
Watchers

Emacs mode for Lean

verified publisher icon leanprover

lean.js

26
Stars
4
Forks
Watchers

Lean ported to Javascript with Emscripten

verified publisher icon leanprover

lean.vim

19
Stars
7
Forks
Watchers

verified publisher icon leanprover

lean4-nightly

22
Stars
2
Forks
Watchers

Nightly builds

verified publisher icon leanprover

LeanInk

60
Stars
16
Forks
Watchers

LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.

verified publisher icon leanprover

logic_and_proof

93
Stars
41
Forks
Watchers

CMU Undergrad Course

verified publisher icon leanprover

tc

57
Stars
7
Forks
Watchers

Reference type checker for the Lean theorem prover

verified publisher icon leanprover

theorem_proving_in_lean

47
Stars
45
Forks
Watchers

Theorem proving in Lean

verified publisher icon leanprover

tutorial

42
Stars
45
Forks
Watchers

Lean Tutorials

verified publisher icon leanprover

vscode-lean

119
Stars
48
Forks
Watchers

Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for the Lean 4 language.

verified publisher icon leanprover