commit: 9af3bc52a9d54cdca8f73b0bbe1fac68e74769c1

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

Thu Mar 21 21:47:07 2024 -0400
committer: Joe Hendrix <joe@lean-fro.org>

Fri Mar 22 18:23:43 2024 -0400
tree: 9bbaf79403084a1d7b221ab30fe5b83cd80a55ec
parent: cb0ff5ee8a7f29d9fa574bcfa9e63fa84556afbb [diff]

backtrack from attempted refactor

src/Lean/Meta/Tactic/Rewrites.lean[diff]

1 file changed

tree: 9bbaf79403084a1d7b221ab30fe5b83cd80a55ec

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.