commit: 069fe836b88de396bc8e29b7f1afb955b22b63b2

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Thu Aug 20 00:14:00 2026 +0000
committer: Leonardo de Moura <leomoura@amazon.com>

Thu Aug 20 00:25:39 2026 +0000
tree: efe8c4fbf5242e71006940864f7d50c91ad9dd36
parent: 0fe4b0aafc295a3a4c45d10a96e0da6184d87811 [diff]

Check Nat.succ too

src/kernel/type_checker.cpp[diff]

1 file changed

tree: efe8c4fbf5242e71006940864f7d50c91ad9dd36

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.