commit: 2d33c60b27010d097551732fad557a153d62e639

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

Thu Dec 26 13:59:29 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Thu Dec 26 14:05:33 2024 -0800
tree: 42d353851ab201759dd823dfeb85615fa428e72d
parent: fd8740ebfa0caeb4448a176153f12239875f2a4a [diff]

feat: missing case for `mkCongrProof`

2 files changed

tree: 42d353851ab201759dd823dfeb85615fa428e72d

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