commit: ba52bf29b477247bad7e6f28d4d30d71d6fad968

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Tue Nov 26 11:58:15 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Nov 26 11:58:15 2024 -0800
tree: 6141fe95999e427cdccf7e6ae9fb4226bc96bac4
parent: 87f3a06a0c8ad1f157feae3cbd124f349ec8d858 [diff]

fix: `valIsNew` flag

src/Lean/Meta/Tactic/Simp/Main.lean[diff]

1 file changed

tree: 6141fe95999e427cdccf7e6ae9fb4226bc96bac4

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).