Skip to content
@typednotes

TypedNotes

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

Repositories

Showing 7 of 7 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…