commit: 27fd4a1a72634ef3cbeada892c53b3b0f98098cf

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

Wed Jul 31 14:53:44 2024 +0200
committer: Sebastian Ullrich <sebasti@nullri.ch>

Wed Jul 31 14:53:44 2024 +0200
tree: 6faf67a8ed9fa530662c2de9c718c69c83029d0c
parent: 6a4159c4a792ed2e74f20aecf73974dc3e314e2c [diff]

feat: `include` command

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

1 file changed

tree: 6faf67a8ed9fa530662c2de9c718c69c83029d0c

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).