commit: f66ec67908191901dc8e41463928797c5e09e5a0

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

Tue Mar 05 05:14:09 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Mar 05 05:44:09 2024 -0800
tree: 5f5284e7b15ea3da0e59efa0984ec33edc107d28
parent: ce77518ef5bc6e0e8627cb6a1ec6166361464079 [diff]

fix: bug at `Result.mkEqSymm`

`cache` and `dischargeDepth` fields were being reset.

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

1 file changed

tree: 5f5284e7b15ea3da0e59efa0984ec33edc107d28

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.