commit: f6e88e5a0525b744c5df018dd96d2f0cbca29435

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

Wed Dec 04 20:49:16 2024 +0100
committer: GitHub <noreply@github.com>

Wed Dec 04 19:49:16 2024 +0000
tree: 36502eade71b9fcf2459d58bfba0c8fb08f2b490
parent: 88573c802d41bd569993e98fd85010c38531090f [diff]

fix: missing `HEq` support at `ToLCNF` (#6311)

This PR adds support for `HEq` to the new code generator.

src/Lean/Compiler/LCNF/ToLCNF.lean[diff]

1 file changed

tree: 36502eade71b9fcf2459d58bfba0c8fb08f2b490

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