Lean

https://lean-lang.org/

Lean Prover

Results 26 repositories owned by


Lean

lean-mode

68

Stars

18

Forks

Watchers

Emacs mode for Lean

lean.js

26

Stars

4

Forks

Watchers

Lean ported to Javascript with Emscripten

lean.vim

19

Stars

7

Forks

Watchers

lean4-nightly

22

Stars

2

Forks

Watchers

Nightly builds

LeanInk

56

Stars

15

Forks

Watchers

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

interactive-theorem-proving

logic_and_proof

93

Stars

41

Forks

Watchers

CMU Undergrad Course

tc

57

Stars

7

Forks

Watchers

Reference type checker for the Lean theorem prover

theorem_proving_in_lean

47

Stars

45

Forks

Watchers

Theorem proving in Lean

tutorial

42

Stars

45

Forks

Watchers

Lean Tutorials

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.