commit: e1e51d1339a50e7858a79d68885a13c9c7104998

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

Sun Oct 15 14:27:59 2023 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sun Oct 15 14:32:30 2023 -0700
tree: 1e79bf7aefab49468b691892a51cdb45b57084c1
parent: de719c92e22e080f612e2e8f0fa8cb484130fc5f [diff]

chore: update doc, add support for `modn`

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

1 file changed

tree: 1e79bf7aefab49468b691892a51cdb45b57084c1

README.md

This is the repository for Lean 4.

We provide nightly releases and have just begun regular stable point releases.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.