commit: 1f06b0c0cea2b3fbf30cd466de4ddc8314e6bd15

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

Fri Mar 22 13:34:11 2024 +1100
committer: Scott Morrison <scott.morrison@gmail.com>

Fri Mar 22 13:34:11 2024 +1100
tree: 6141f301db37671d39cabddc11ee0d42b5b94228
parent: 980e73c368f8f3274cad32f35154be0d1b8c255f [diff]

chore: omega notices that 0 ≤ (x : Int) % (y : Int)

3 files changed

tree: 6141f301db37671d39cabddc11ee0d42b5b94228

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.