commit: 2638004ee6622d4dfbbb174a812deeafdcd1e3e4

[log]
author: Henrik Böving <hargonix@gmail.com>

Tue Feb 20 11:56:03 2024 +0100
committer: Henrik Böving <hargonix@gmail.com>

Tue Feb 20 11:56:54 2024 +0100
tree: 513c4ab15e7cdeff91335cd548ccfd995d00342a
parent: ea665de4536061cb8b6a1b32f5b69f09d50ac335 [diff]

doc: prelude convention in Lean

doc/dev/index.md[diff]

1 file changed

tree: 513c4ab15e7cdeff91335cd548ccfd995d00342a

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.