commit: 911d38a06c2c79d770a4c9e7ca19f67924910ff5

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

Sun Apr 20 13:33:34 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Sun Apr 20 13:33:34 2025 +1000
tree: d6e686818cdc93de0306c5407a2564f3ed8474b9
parent: 72e4f699c6980d9fe400b631491a61c27ea92702 [diff]

chore: remove outParam from IsCharP

src/Init/Grind/CommRing/Basic.lean[diff]

1 file changed

tree: d6e686818cdc93de0306c5407a2564f3ed8474b9

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 (documentation source: doc/make/index.md).