Popular repositories Loading

1. lean-ebm lean-ebm Public

   Python 4

2. software-verification software-verification Public

   Software Translation to Lean + Verification.

   Python 1

3. 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

4. stanford-lean-website stanford-lean-website Public

   Website for Stanford Lean Club

   TypeScript

5. veri-veri-bench veri-veri-bench Public

   Lean

6. cslib cslib Public

   Forked from leanprover/cslib

   The Lean Computer Science Library (CSLib)

   Lean