commit: b0d84cdc756d0ed7ed60f749b8dd79fe95481dd4

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

Thu Jul 24 15:09:14 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Thu Jul 24 15:09:14 2025 +1000
tree: 6fc8be14f20d3d43bc9dbe7859814dbba71cb1ae
parent: c4c349777669bb4d7a16ca485fd77eb0db48139c [diff]

chore: remove provable fields from Grind.Nat/IntModule

3 files changed

tree: 6fc8be14f20d3d43bc9dbe7859814dbba71cb1ae

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.