commit: 615dbf931e723beebce57d17280d6d44cccf0a17

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

Tue Jul 09 16:34:41 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Jul 09 16:36:13 2024 -0700
tree: cbea8573157b2bbedd884dfd7762ae87d9e1e3c8
parent: 57b8b32c72b586ec062a200973192d8f8f2997c0 [diff]

fix: `Repr` instances for `Int` and `Float`

closes #4677

3 files changed

tree: cbea8573157b2bbedd884dfd7762ae87d9e1e3c8

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