commit: d897b15a80ba6870e72a80289166ace6fc4b1bdc

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

Tue Apr 30 10:53:41 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Apr 30 10:53:41 2024 -0700
tree: 57811afab27e076fd36f615bdb4d6e6cb11532be
parent: 6e731b4370000a8e7a5cfb675a7f3d7635d21f58 [diff]

fix: mismatch between `TheoremVal` in Lean and C++

3 files changed

tree: 57811afab27e076fd36f615bdb4d6e6cb11532be

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.