commit: bb577aaf88d20aa186500f6a3dd4f98b2fc9e21f

[log]
author: Kim Morrison <kim@tqft.net>

Mon Mar 23 22:03:07 2026 +0000
committer: Kim Morrison <kim@tqft.net>

Mon Mar 23 22:03:07 2026 +0000
tree: 40966216fe56512fd3e94b4f262ae7ccb986b382
parent: 86175bea00f2d963a8c1367ac8ae67dd70ab32ea [diff]

chore: add lean4-benchmarks skill for Claude Code

This PR moves benchmark documentation from CLAUDE.md into a dedicated
project-level skill at .claude/skills/lean4-benchmarks/SKILL.md, covering
the measurement pipeline, variable-size benchmarks, JSONL format, custom
metrics, and combine.py behavior.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

.claude/CLAUDE.md[diff]
.claude/skills/lean4-benchmarks/SKILL.md[Added - diff]

2 files changed

tree: 40966216fe56512fd3e94b4f262ae7ccb986b382

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.