1 repository with Claude Code or Codex plugins.
Skills for AIs using the Lean programming language and theorem prover — proofs, toolchain setup, bisection, and more
1 plugin · leanprover/skills