lean4 topic

List lean4 repositories

paperproof

327
Stars
9
Forks
Watchers

Lean theorem proving interface which feels like pen-and-paper proofs.

verified publisher icon Paper-Proof

lean4-logic

36
Stars
4
Forks
Watchers

Lean4 Logic Formalization

verified publisher icon iehality

tree-sitter-lean

27
Stars
4
Forks
Watchers

Experimental tree-sitter parser for the Lean (4) Theorem Prover

verified publisher icon Julian

SDL.lean

19
Stars
4
Forks
Watchers

SDL2 bindings for lean

verified publisher icon Anderssorby

compfiles

50
Stars
8
Forks
Watchers

Catalog Of Math Problems Formalized In Lean

verified publisher icon dwrensha

lean-mlir

47
Stars
4
Forks
Watchers

embedding MLIR in LEAN

verified publisher icon opencompl

ground_zero

44
Stars
1
Forks
Watchers

Ground Zero: Lean 4 HoTT Library

verified publisher icon forked-from-1kasper

CvxLean

27
Stars
3
Forks
Watchers

Convex optimization modeling in Lean 4

verified publisher icon verified-optimization

risc0-lean4

54
Stars
3
Forks
Watchers

A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover

verified publisher icon risc0

NumLean

17
Stars
1
Forks
Watchers

A Lean 4 package for heavy numerical computations

verified publisher icon arthurpaulino