commit: 2b996007cb2b63f5c36b2b15a507a7b69872eb84

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

Thu Mar 21 14:50:12 2024 +1100
committer: Scott Morrison <scott.morrison@gmail.com>

Thu Mar 21 14:50:12 2024 +1100
tree: 7bcff2a1fd83205e6a1b7ac579965bd729ae545a
parent: 4391bc2977d3bf16f6780bb830c5fcd51f426d7d [diff]

chore: remove @[inline] from BitVec.cast

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

1 file changed

tree: 7bcff2a1fd83205e6a1b7ac579965bd729ae545a

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.