commit: b6674b2c36a91778e03cc8082380af173ed89e1e

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

Thu Jun 05 14:46:13 2025 -0700
committer: Cameron Zwarich <cameron@lean-fro.org>

Fri Jun 20 06:47:08 2025 -0700
tree: 4d8846420c8a8fc228a0389998114c99d82c0403
parent: 2a4111f5bffd9615e7aa1ff10cd09c801c24c4f8 [diff]

chore: add new tests for `noncomputable`

tests/lean/run/usesOfNoncomputable.lean[Added - diff]

1 file changed

tree: 4d8846420c8a8fc228a0389998114c99d82c0403

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.