commit: 1da5d7decec0d7a9f9ed42865450509e0b8a35fe

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

Wed Jan 22 09:45:44 2025 +0100
committer: Henrik Böving <hargonix@gmail.com>

Wed Jan 22 09:45:44 2025 +0100
tree: 2a60a30daa08b80280d00a71d079e2a2cb762370
parent: 9b74c07767dc50645efa00356a7724e7f7176227 [diff]

doc: mention ⱼ in the lexical structure

doc/lexical_structure.md[diff]

1 file changed

tree: 2a60a30daa08b80280d00a71d079e2a2cb762370

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