commit: 9126b3a654d5acf5ad4d7142ad00d302521f0610

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

Wed Apr 17 13:26:04 2024 +0200
committer: GitHub <noreply@github.com>

Wed Apr 17 13:26:04 2024 +0200
tree: 2bebb46db12aa37fd8b21646bced2b050b60fdb4
parent: bb80917bb7d058dd9c709b07d5d7d628d57d484a [diff]

Update src/Init/Classical.lean

Co-authored-by: Mario Carneiro <di.gama@gmail.com>

src/Init/Classical.lean[diff]

1 file changed

tree: 2bebb46db12aa37fd8b21646bced2b050b60fdb4

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.