commit: b48d6ed986be18b71c379c0b4eb4ad24a732efa1

[log]
author: Scott Morrison <scott.morrison@gmail.com>

Sun Mar 03 19:03:49 2024 +1100
committer: Scott Morrison <scott.morrison@gmail.com>

Sun Mar 03 19:03:49 2024 +1100
tree: 97f9fdbff68e168781be0ba537df3bc7e507fc3e
parent: c66c5bb45b5e7f34f7c75d832f4101bd6727d71d [diff]

chore: Nat.pred_eq_sub_one

src/Init/Data/Nat/Basic.lean[diff]

1 file changed

tree: 97f9fdbff68e168781be0ba537df3bc7e507fc3e

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.