Popular repositories Loading

1. lean-pq lean-pq Public

   Lean binding for libpq

   Lean 9 1

2. hale hale Public

   Lean Standard Library

   Lean 7

3. typednotes typednotes Public

   Rust 1

4. PyPantograph PyPantograph Public

   Forked from stanford-centaur/PyPantograph

   A Machine-to-Machine Interaction System for Lean 4.

   Python

5. LeanTool LeanTool Public

   Forked from GasStationManager/LeanTool

   A "code intepreter" for Lean

   Python

6. lean4_jupyter lean4_jupyter Public

   Forked from utensil/lean4_jupyter

   A Lean 4 Jupyter kernel via repl

   Python