commit: 7ccdfc30ffab9ad2059d89aa03627fd549e4e7f4

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

Tue Nov 19 13:02:32 2024 +1100
committer: GitHub <noreply@github.com>

Tue Nov 19 02:02:32 2024 +0000
tree: 29a71da5f6c95535bf5163648db3620a5a63687e
parent: 7f0bdefb6ef6d84f1a09cd02def0c2ef6a2b6168 [diff]

chore: turn off pp.mvars in apply? results (#6108)

Per request on
[zulip](https://leanprover.zulipchat.com/#narrow/channel/270676-lean4/topic/apply.3F.20using.20tombstones/near/482895588).

4 files changed

tree: 29a71da5f6c95535bf5163648db3620a5a63687e

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