Lean

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

icon location Lean Prover

Results 25 repositories owned by Lean

vscode-lean4

126
Stars
39
Forks
Watchers

Visual Studio Code extension for the Lean 4 proof assistant

verified publisher icon leanprover

fp-lean

57
Stars
15
Forks
Watchers

Functional Programming in Lean

verified publisher icon leanprover

leansat

24
Stars
2
Forks
Watchers

This package provides an interface and foundation for verified SAT reasoning

verified publisher icon leanprover

LNSym

26
Stars
10
Forks
Watchers

Armv8 Native Code Symbolic Simulator in Lean

verified publisher icon leanprover

verso

47
Stars
6
Forks
Watchers

Lean documentation authoring tool

verified publisher icon leanprover