commit: f2e88e4d5c1d053fd87345f621d539b0d4cb9d17

[log]
author: Henrik Böving <hargonix@gmail.com>

Wed Sep 09 08:29:30 2026 +0000
committer: Henrik Böving <hargonix@gmail.com>

Wed Sep 09 13:44:10 2026 +0000
tree: 2cb85a403a712e84dbe1cbd573d485d0f66e90f6
parent: fe53f21e05980b97d7bbb6717cf7566e3700e576 [diff]

perf: fix non linearities in synth instance table entries

src/Lean/Meta/SynthInstance.lean[diff]

1 file changed

tree: 2cb85a403a712e84dbe1cbd573d485d0f66e90f6

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.