Skip to content

@MerLeanProver MerLeanProver

All

    Repositories list

    2 repositories

    • MerLean

      Public
      An autonomous Lean 4 + Mathlib theorem-proving system, built as Claude Code skills and subagents over a plan graph.
      Python
      •
      Apache License 2.0
      •1•10•0•0•Updated Sep 29, 2026Sep 29, 2026

    • ACMaxConjecture

      Public
      A complete Lean 4 formalization of the ACMAX conjecture (Kolokolnikov, Conjecture 1.5) for every n >= 4. Machine-checked, sorry-free, verified by two independen…
      Lean
      •
      Apache License 2.0
      •0•3•1•0•Updated Sep 13, 2026Sep 13, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.