commit: 00178bc17247fe965dbb2431f96643089126a2a9

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

Fri May 30 16:32:51 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Fri May 30 16:33:56 2025 -0700
tree: 14444e695ad1395aa7a5e4a4ef58856e467da81c
parent: c80fca9266e1b1b491ea1d8ab8276b1640e34a93 [diff]

chore: ensure internal panic is not redirected

src/runtime/object.cpp[diff]

1 file changed

tree: 14444e695ad1395aa7a5e4a4ef58856e467da81c

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.