commit: d8488666c16972bac0265e345e0cfc07188baa7c

[log]
author: Rob Simmons <rob@lean-fro.org>

Thu Dec 04 18:51:01 2025 -0500
committer: Rob Simmons <rob@lean-fro.org>

Thu Dec 04 18:51:01 2025 -0500
tree: 096d0c27af77e0bf91980c8a2ea39162bcca6064
parent: 06580e26366e7c0da7f535d3f75cbbef99cfb826 [diff]

Add new tests

tests/lean/unknownCannotBeComplex.lean[Added - diff]
tests/lean/unknownCannotBeComplex.lean.expected.out[Added - diff]

2 files changed

tree: 096d0c27af77e0bf91980c8a2ea39162bcca6064

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.