commit: 1564e99f407bcf94bb54c0af93b4e1df1b437c83

[log]
author: Joachim Breitner <mail@joachim-breitner.de>

Wed Feb 04 10:27:40 2026 +0000
committer: Joachim Breitner <mail@joachim-breitner.de>

Wed Feb 04 10:27:40 2026 +0000
tree: 36e957c8e3fd53c4add8acfeb0a45117b895260e
parent: a4409f9df13283643f12c9c2189d97f96a348e79 [diff]

Avoid whnf on Nat

src/kernel/type_checker.cpp[diff]

1 file changed

tree: 36e957c8e3fd53c4add8acfeb0a45117b895260e

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.