commit: 3f89ae5ba5fcec7028c281352ad68f7f25068600

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

Mon Mar 04 10:15:40 2024 +1100
committer: Scott Morrison <scott.morrison@gmail.com>

Mon Mar 04 10:15:40 2024 +1100
tree: 5455f55f7b42a48fff5692f03cfcb6abd85c12a4
parent: 04385b7fb9cfd12bf65d8b01213dea1d5f2edfda [diff]

feat: Nat.mul_mod

src/Init/Data/Nat.lean[diff]
src/Init/Data/Nat/Mod.lean[Added - diff]

2 files changed

tree: 5455f55f7b42a48fff5692f03cfcb6abd85c12a4

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.