commit: 4c42c543d64935ad9f6fc0a9e86b5c75a7fd8e31

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

Tue Feb 10 21:33:40 2026 +0000
committer: Kim Morrison <kim@tqft.net>

Tue Feb 10 21:33:40 2026 +0000
tree: efd98a2170747c7988c09aad736cce6dbe62290b
parent: c5d27960699f7cddc322c42e31fe5124c4cf9d69 [diff]

doc: add test suite documentation to .claude/CLAUDE.md

This PR adds comprehensive test running instructions to `.claude/CLAUDE.md`,
replacing the single `test_single.sh` example with the full range of test
commands documented in `doc/dev/testing.md`.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

.claude/CLAUDE.md[diff]

1 file changed

tree: efd98a2170747c7988c09aad736cce6dbe62290b

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.