commit: 25db17ac638e014d370f3550763bb68cd8988839

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

Thu Mar 28 19:28:05 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Thu Mar 28 19:34:44 2024 -0700
tree: be473af38ac5d53427959b2b06d534566d3ab077
parent: c6a625d41e15f652e2669f99851015afcb1eee24 [diff]

fix: realizer for matcher equation theorems

2 files changed

tree: be473af38ac5d53427959b2b06d534566d3ab077

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.