commit: 436dc88f3c626003a6cd505d32c08739d2c6ceea

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

Wed Jan 07 13:49:21 2026 +1100
committer: Kim Morrison <kim@tqft.net>

Wed Jan 07 13:49:21 2026 +1100
tree: f6c581ba9646be61ebeee36e7a9b0decd0619fde
parent: f5b1ed250428279935cf949ef3a724490f6c731e [diff]

chore: update expected output for sanitychecks test

🤖 Generated with [Claude Code](https://claude.com/claude-code)

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

tests/lean/sanitychecks.lean.expected.out[diff]

1 file changed

tree: f6c581ba9646be61ebeee36e7a9b0decd0619fde

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.