GeezerVison

GeezerVison is showing github.com — Lean

Pinned Loading

lean4 lean4 Public

Lean 4 programming language and theorem prover

Lean 10k 1.1k

Repositories

Type

All Public Sources Forks Archived Mirrors Templates

Language

All C C++ CSS Emacs Lisp Haskell HTML Java JavaScript Lean Python Ruby Rust Shell TeX TypeScript Vim Script Vue

Sort

Last updated Name Stars

Showing 10 of 223 repositories

downstream-lean4 Public
A collection of packages downstream of Lean 4.

leanprover/downstream-lean4's past year of commit activity

Lean 7 6 0 47 Updated Nov 12, 2026
lean4-pr-releases Public
Automated releases from leanprover/lean4 PRs

leanprover/lean4-pr-releases's past year of commit activity

4 3 0 0 Updated Nov 12, 2026
lean4 Public
Lean 4 programming language and theorem prover

leanprover/lean4's past year of commit activity

Lean 9,981 Apache-2.0 1,103 1,163 (6 issues need help) 766 Updated Nov 12, 2026
cslib Public
The Lean Computer Science Library (CSLib)

leanprover/cslib's past year of commit activity

Lean 807 Apache-2.0 225 49 167 Updated Nov 12, 2026
con-agua Public

leanprover/con-agua's past year of commit activity

Lean 2 Apache-2.0 0 0 0 Updated Nov 12, 2026
reference-manual Public
The Lean reference manual

leanprover/reference-manual's past year of commit activity

Lean 138 Apache-2.0 70 117 23 Updated Nov 12, 2026
verso-blueprint Public
Build structured Proof Blueprints with Verso

leanprover/verso-blueprint's past year of commit activity

Lean 48 8 2 14 Updated Nov 12, 2026
subverso Public

leanprover/subverso's past year of commit activity

Lean 8 Apache-2.0 16 5 3 Updated Nov 12, 2026
lean-workbench Public
Online Lean Workbench

leanprover/lean-workbench's past year of commit activity

TypeScript 12 Apache-2.0 1 38 9 Updated Nov 12, 2026
pump Public
A server that analyzes and builds lake packages, caching the results.

leanprover/pump's past year of commit activity

Rust 1 0 0 0 Updated Nov 11, 2026

View all repositories

People

Top languages

Lean Python Shell TypeScript JavaScript

Most used topics

Loading…

Uh oh!

There was an error while loading. Please reload this page.