1 repository with Claude Code or Codex plugins.
Lean 4 theorem proving skill and workflow pack for AI coding agents
2 plugins · cameronfreer/lean4-skills