commit: 951af0559716271d491368151335d4bcb1cae260

[log]
author: Henrik Böving <hargonix@gmail.com>

Sun Nov 24 20:12:11 2024 +0100
committer: GitHub <noreply@github.com>

Sun Nov 24 20:12:11 2024 +0100
tree: 3c9181ad3d59fb58ebfad3a97cf28c0724b4b923
parent: 7ca084f468b72fa38ec6c021e91e798c40a39266 [diff]

Update src/Lean/Elab/Tactic/BVDecide/Frontend/Normalize.lean

Co-authored-by: Tobias Grosser <tobias@grosser.es>

src/Lean/Elab/Tactic/BVDecide/Frontend/Normalize.lean[diff]

1 file changed

tree: 3c9181ad3d59fb58ebfad3a97cf28c0724b4b923

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 (documentation source: doc/make/index.md).