commit: b410270dbc40e1e16e86056d80ae9bd67f450c34

[log]
author: Joe Hendrix <joe@lean-fro.org>

Thu Mar 28 11:00:31 2024 -0700
committer: Joe Hendrix <joe@lean-fro.org>

Thu Mar 28 11:00:31 2024 -0700
tree: 3a118093ceb8a5cc97a1c7b784a89dc1e908fe44
parent: 579316d10aad539b2562c22d2e077884179c12ba [diff]

wip: first run with normal form success

src/Init/Data/Fin/Lemmas.lean[diff]
src/Init/Data/Int.lean[diff]
src/Init/Data/Int/DivModExt.lean[Renamed from src/Init/Data/Int/DvdModExt.lean - diff]
src/Init/Data/Int/Order.lean[diff]
src/Init/Data/List/Lemmas.lean[diff]
src/Init/Data/Nat/Basic.lean[diff]
src/Init/Data/Nat/Bitwise/Lemmas.lean[diff]
tests/playground/int_exhaust_test.lean[diff]

8 files changed

tree: 3a118093ceb8a5cc97a1c7b784a89dc1e908fe44

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.