commit: c78806aa8d804ce22a63ee78d30dd4cd0b86c38a

[log]
author: Joe Hendrix <joe@lean-fro.org>

Tue Jan 09 01:01:23 2024 -0800
committer: Joe Hendrix <joe@lean-fro.org>

Wed Jan 10 20:57:50 2024 -0800
tree: 63c377db42ef2645f9c63c85747d85f7645b2d50
parent: 3ffcf3ed6e4167ed9d10682e2a15b493cbbbb6c2 [diff]

chore: fix mistakes in test cases

tests/lean/run/lean_nat_bitwise.lean[diff]

1 file changed

tree: 63c377db42ef2645f9c63c85747d85f7645b2d50

README.md

This is the repository for Lean 4.

We provide nightly releases and have just begun regular stable point releases.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.