commit: 0bcf41e99863cda739985de535a0b07ce251e2fd

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

Thu Jun 19 14:00:47 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Thu Jun 19 14:00:47 2025 +1000
tree: 8dca70eb0ea542e19f51a05b754f650d84de49af
parent: bec538cc579b248aa93d67491bcbc1efa061063c [diff]

chore: add failing grind/module system test

src/Init/Data/BitVec/grind_bitvec_module.lean[Added - diff]

1 file changed

tree: 8dca70eb0ea542e19f51a05b754f650d84de49af

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.