commit: 829b995db1075eb5bfd906ff44008c3c3a49a14f

[log]
author: Sebastian Ullrich <sebasti@nullri.ch>

Thu Aug 29 16:06:46 2024 +0200
committer: GitHub <noreply@github.com>

Thu Aug 29 16:06:46 2024 +0200
tree: 18534b08ad66539bd5b256a9d7f001df2830365b
parent: bdbadbd74b55ea1d910ddd156e63ba4dd42a23ab [diff]

doc: include: currently applies to theorems only

src/Lean/Parser/Command.lean[diff]

1 file changed

tree: 18534b08ad66539bd5b256a9d7f001df2830365b

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 (documentation source: doc/make/index.md).