Skip to content
@project-numina

project-numina

Popular repositories Loading

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

    Jupyter Notebook 425 32

  2. kimina-lean-server kimina-lean-server Public

    Kimina Lean server

    Python 15

  3. lean-exemples lean-exemples Public

    Lean 1

  4. annotation-guidelines annotation-guidelines Public

    Lean 1 2

  5. IMO-Steps IMO-Steps Public

    Forked from roozbeh-yz/IMO-Steps

    Lean 1

  6. combinatorics combinatorics Public

    A Lean 4 library on combinatorics as an enhancement to mathlib4.

    Lean

Repositories

Showing 9 of 9 repositories
  • kimina-lean-server Public

    Kimina Lean server

    project-numina/kimina-lean-server’s past year of commit activity
    Python 15 MIT 0 0 0 Updated Apr 25, 2025
  • verl Public Forked from volcengine/verl

    verl: Volcano Engine Reinforcement Learning for LLMs

    project-numina/verl’s past year of commit activity
    Python 0 Apache-2.0 788 0 3 Updated Apr 24, 2025
  • combinatorics Public

    A Lean 4 library on combinatorics as an enhancement to mathlib4.

    project-numina/combinatorics’s past year of commit activity
    Lean 0 Apache-2.0 0 12 5 Updated Apr 24, 2025
  • annotation-guidelines Public
    project-numina/annotation-guidelines’s past year of commit activity
    Lean 1 2 1 1 Updated Apr 21, 2025
  • LeanEuclid Public Forked from loganrjmurphy/LeanEuclid

    LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.

    project-numina/LeanEuclid’s past year of commit activity
    Lean 0 MIT 8 0 1 Updated Apr 20, 2025
  • IMO-Steps Public Forked from roozbeh-yz/IMO-Steps
    project-numina/IMO-Steps’s past year of commit activity
    Lean 1 MIT 2 0 0 Updated Mar 13, 2025
  • lean-exemples Public
    project-numina/lean-exemples’s past year of commit activity
    Lean 1 0 0 0 Updated Jan 23, 2025
  • mathlib4 Public Forked from leanprover-community/mathlib4

    The math library of Lean 4

    project-numina/mathlib4’s past year of commit activity
    Lean 0 Apache-2.0 409 0 0 Updated Dec 20, 2024
  • aimo-progress-prize Public
    project-numina/aimo-progress-prize’s past year of commit activity
    Jupyter Notebook 425 Apache-2.0 32 6 0 Updated Jul 22, 2024

Most used topics

Loading…