commit: 32b9de8c7736f5dc08c113a81adff662bb39ae01

[log]
author: David Thrane Christiansen <david@davidchristiansen.dk>

Thu Aug 01 06:56:27 2024 +0200
committer: GitHub <noreply@github.com>

Thu Aug 01 04:56:27 2024 +0000
tree: 65a245bb2bc294742f4d657f699d008573653e79
parent: a856016b9dbd635684c1b7f4f787b26bea2c7fa7 [diff]

fix: export symbols needed by Verso (#4884)

Verso needed a symbol that was unexported - this exposes it again.

src/Lean/Compiler/IR/EmitC.lean[diff]

1 file changed

tree: 65a245bb2bc294742f4d657f699d008573653e79

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