commit: 4d37a254fda2300ff9ffc01cf030c09ae93b7487

[log]
author: Cameron Zwarich <cameron@lean-fro.org>

Fri Jul 25 05:45:35 2025 -0700
committer: Sebastian Ullrich <sebasti@nullri.ch>

Fri Jul 25 16:04:25 2025 +0200
tree: e77ea56df2c910e9838844abf2b632165372e107
parent: 3f19182afc70bfefadd41588b1329136f11d04a7 [diff]

perf: consider ordinary implicit arguments of instance type to be template-like

2 files changed

tree: e77ea56df2c910e9838844abf2b632165372e107

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.