commit: a0803909e8f03883726dd3ebf4e1ef645a32bf6e

[log]
author: Kim Morrison <kim@tqft.net>

Wed Oct 16 14:15:33 2024 +1100
committer: Kim Morrison <kim@tqft.net>

Wed Oct 16 14:16:25 2024 +1100
tree: 97055dbc15e88b972cef02d01e76b0431fb1a8d6
parent: 831fa0899fd0397e5a8f21abc2c5fcee8883c481 [diff]

chore: upstream classical tactic

chore: upstream classical tactic

src/Init/Tactics.lean[diff]
src/Lean/Elab/Tactic.lean[diff]
src/Lean/Elab/Tactic/Classical.lean[Added - diff]
tests/lean/run/classical.lean[Added - diff]

4 files changed

tree: 97055dbc15e88b972cef02d01e76b0431fb1a8d6

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