Skip to content
@project-numina

project-numina

Popular repositories Loading

  1. aimo-progress-prize aimo-progress-prize Public

    Jupyter Notebook 496 35

  2. numina-lean-agent numina-lean-agent Public

    Python 284 37

  3. kimina-lean-server kimina-lean-server Public

    Kimina Lean server (+ client SDK)

    Python 213 38

  4. LeanGeo LeanGeo Public

    Solving Competition Geometry Problems in Lean

    Lean 44 5

  5. kakeya-3d kakeya-3d Public

    Lean 33 4

  6. lean-lsp-mcp lean-lsp-mcp Public

    Python 21 4

Repositories

Showing 10 of 20 repositories
View all repositories

People

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

Most used topics

Loading…