commit: 56f97e156d410c2aa6da862f374bfb424c8fa857

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

Mon Aug 26 09:37:49 2024 +0200
committer: Sebastian Ullrich <sebasti@nullri.ch>

Mon Aug 26 09:37:49 2024 +0200
tree: 900834fcd8b1a40dd2aa3dd9ae30363cc291b859
parent: 9305049f1ef7309842806c2a994a2020bb32a71f [diff]

fix: Syntax.unsetTrailing

src/Init/Meta.lean[diff]

1 file changed

tree: 900834fcd8b1a40dd2aa3dd9ae30363cc291b859

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