commit: 0c7731e2245e9c73e0dba17252e1138b9a08a358

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

Tue Jan 28 20:58:47 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Jan 28 20:58:47 2025 -0800
tree: 992586fa5f94c79d2aaf719b62430386b2b35838
parent: a56b58f2cffc600aacda166ccc80b5e2011107f0 [diff]

fix: do not use ground patterns for local theorems

2 files changed

tree: 992586fa5f94c79d2aaf719b62430386b2b35838

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