commit: 35b11014bddd2c0234c1009690dc23ceb87ac778

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

Thu May 30 10:57:30 2024 +0200
committer: Sebastian Ullrich <sebasti@nullri.ch>

Thu May 30 11:01:54 2024 +0200
tree: e707e19ef3cfdcb205a1c76b4f51b82ffbd67630
parent: cc33c39cb022d8a3166b1e89677c78835ead1fc7 [diff]

feat: quotations for parser aliases

6 files changed

tree: e707e19ef3cfdcb205a1c76b4f51b82ffbd67630

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