commit: b7baca5a3c45106e0b7677e1c3a7f6098e46622c

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

Fri Mar 22 07:37:19 2024 +1100
committer: Scott Morrison <scott.morrison@gmail.com>

Fri Mar 22 07:37:19 2024 +1100
tree: 72c14ab03017e7393b49e118b283248571eedcf8
parent: 085d01942d5bfea2461b9fab95438a4c2ed1b56d [diff]

doc: fix HDiv and HMod doc-strings

src/Init/Prelude.lean[diff]

1 file changed

tree: 72c14ab03017e7393b49e118b283248571eedcf8

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.