commit: 5a2daa65c9f78c2ffa8360f496674af8e82a91ca

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

Wed Jun 18 11:06:10 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Wed Jun 18 12:11:13 2025 +1000
tree: 0d49e93eaae969f2601c1588862de0eae703274a
parent: 04c273dbc6ed057bd4f5d314071cef08dd7638c0 [diff]

feat: generalize grind IsCharP instance

2 files changed

tree: 0d49e93eaae969f2601c1588862de0eae703274a

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.