commit: 4e9e43795088c184131d129fc47e600cec552665

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

Thu Feb 29 10:54:40 2024 +1100
committer: Scott Morrison <scott.morrison@gmail.com>

Thu Feb 29 10:54:40 2024 +1100
tree: bbeed53de65bdb28517d4d04e4ef98d10d586144
parent: 2312c15ac651f93e08aab6ce63d566a5dfbe65af [diff]

chore: begin moving orphaned tests from Std

tests/lean/run/add_suggestion.lean[Added - diff]
tests/lean/run/bitvec.lean[Added - diff]
tests/lean/run/change.lean[Added - diff]

3 files changed

tree: bbeed53de65bdb28517d4d04e4ef98d10d586144

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.