commit: 8adb113c6176517152319e9470f82a985d1c6cd8

[log]
author: Kim Morrison <kim@tqft.net>

Wed Jun 25 12:27:04 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Wed Jun 25 12:27:04 2025 +1000
tree: b5254f7f62bb2c91c3ab0f3ed7338d20d7cb656c
parent: b4eac2b88e95ec2c7b860979ffee8901bf144f4b [diff]

still failing, however

src/Init/Data/BitVec/Lemmas.lean[diff]

1 file changed

tree: b5254f7f62bb2c91c3ab0f3ed7338d20d7cb656c

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.