commit: db9ba88c3513568d13316163d8b1db6e64a0acb1

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

Wed Apr 10 14:49:16 2024 +0200
committer: Sebastian Ullrich <sebasti@nullri.ch>

Wed Apr 10 14:49:16 2024 +0200
tree: b92dd5d212de6ba2e63c24702debeaf279549720
parent: e41cd310e9a3cfb04db3aaa4e974ebb0c2ba6dc3 [diff]

doc: moduleDoc

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

1 file changed

tree: b92dd5d212de6ba2e63c24702debeaf279549720

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.