commit: b4eac2b88e95ec2c7b860979ffee8901bf144f4b

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

Wed Jun 25 11:04:21 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Wed Jun 25 11:04:21 2025 +1000
tree: 2f0977b5a69510a0679457a8998739b5d1dc00e1
parent: f1021e4537d1c97eb5e828f459bb396577bf2467 [diff]

chore: try to expose more of Lean.Grind.CommRing

2 files changed

tree: 2f0977b5a69510a0679457a8998739b5d1dc00e1

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.