Stanford Lean Club

Popular repositories Loading

lean-ebm lean-ebm Public

Python 4
software-verification software-verification Public

Software Translation to Lean + Verification.

Python 1
erdos-problems erdos-problems Public

Stanford AI for Lean Club progress on Erdős problems: papers, frontier notes, visualizer data, and Lean formalization.

TeX 1
stanford-lean-website stanford-lean-website Public

Website for Stanford Lean Club

TypeScript
veri-veri-bench veri-veri-bench Public

Lean
cslib cslib Public

Forked from leanprover/cslib

The Lean Computer Science Library (CSLib)

Lean

Type Language Sort

stanford-lean-website Public
Website for Stanford Lean Club

StanfordLeanClub/stanford-lean-website's past year of commit activity

TypeScript 0 0 3 0 Updated Jul 2, 2026
mathlib-style-bench Public
we will create a benchmark for evaluating high quality mathlib style lean4 code!

StanfordLeanClub/mathlib-style-bench's past year of commit activity

0 Apache-2.0 0 0 0 Updated May 27, 2026
veri-veri-bench Public

StanfordLeanClub/veri-veri-bench's past year of commit activity

Lean 0 0 1 0 Updated May 26, 2026
software-verification Public
Software Translation to Lean + Verification.

StanfordLeanClub/software-verification's past year of commit activity

Python 1 0 0 0 Updated May 14, 2026
erdos-problems Public
Stanford AI for Lean Club progress on Erdős problems: papers, frontier notes, visualizer data, and Lean formalization.

StanfordLeanClub/erdos-problems's past year of commit activity

TeX 1 0 0 0 Updated May 13, 2026
lean-ebm Public

StanfordLeanClub/lean-ebm's past year of commit activity

Python 4 0 1 0 Updated May 13, 2026
cslib Public Forked from leanprover/cslib
The Lean Computer Science Library (CSLib)

StanfordLeanClub/cslib's past year of commit activity

Lean 0 Apache-2.0 188 0 0 Updated Apr 12, 2026