commit: 8b4e699dc8898d54b656dbe487da20cb9c2d47e6

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

Thu May 08 12:18:42 2025 +0200
committer: Kim Morrison <kim@tqft.net>

Thu May 08 12:18:42 2025 +0200
tree: ab6d5ee8b3f1d1fee0d37e00eec9b8fc8868740c
parent: 11b5c18bd27c252bbaa6686f124b1e01a9c7647f [diff]

remove a fullstop

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

1 file changed

tree: ab6d5ee8b3f1d1fee0d37e00eec9b8fc8868740c

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