TypedNotes

Popular repositories Loading

1. lean-pq lean-pq Public

   Lean binding for libpq

   Lean 11 2

2. hale hale Public archive

   Lean Standard Library

   Lean 9

3. typednotes typednotes Public

   Rust 1

4. linen linen Public

   Lean Standard Library

   Lean 1

5. PyPantograph PyPantograph Public

   Forked from stanford-centaur/PyPantograph

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

   Python

6. LeanTool LeanTool Public

   Forked from GasStationManager/LeanTool

   A "code intepreter" for Lean

   Python