commit: 448dfd2f27c3470251e11b84d76cebb0ad4add92

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Fri Feb 09 10:17:15 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Fri Feb 09 10:18:17 2024 -0800
tree: d4fc5c3a42abde83c6616ec9e12f6a63adedf9f9
parent: 488bfe2128a1c5ff0e96c45cf6a382655dc7c703 [diff]

chore: add `nomatch` tactic

src/Init/Tactics.lean[diff]
tests/lean/run/nomatch_tac.lean[Added - diff]

2 files changed

tree: d4fc5c3a42abde83c6616ec9e12f6a63adedf9f9

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.