commit: 85527dbad4c1dee8b0e2ecd1aba6e216a9b67914

[log]
author: Scott Morrison <scott.morrison@gmail.com>

Sun Mar 17 17:25:42 2024 +1100
committer: GitHub <noreply@github.com>

Sun Mar 17 17:25:42 2024 +1100
tree: 9dd4d2aac6b570c19951fa374e6607ae133a98bf
parent: 10790023fb2058f84572fc2b861aaaa7f90031a8 [diff]

Update src/Lean/Meta/Tactic/Apply.lean

Co-authored-by: Kyle Miller <kmill31415@gmail.com>

src/Lean/Meta/Tactic/Apply.lean[diff]

1 file changed

tree: 9dd4d2aac6b570c19951fa374e6607ae133a98bf

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.