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

llm

21
Stars
0
Forks
Watchers

Interfacing with Large Language Models (remote and local) from Lean.

verified publisher icon leanprover-community

NNG4

80
Stars
25
Forks
Watchers

Natural Number Game

verified publisher icon leanprover-community

quote4

65
Stars
10
Forks
Watchers

Intuitive, type-safe expression quotations for Lean 4.

verified publisher icon leanprover-community

repl

47
Stars
7
Forks
Watchers

A simple REPL for Lean 4, returning information about errors and sorries.

verified publisher icon leanprover-community

tutorials4

16
Stars
2
Forks
Watchers

Lean 4 tutorial files

verified publisher icon leanprover-community