commit: 07d2027fe8bc3bd6e50c11d6787bd0602a295e94

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

Sat Aug 01 16:40:22 2026 +0000
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Aug 01 16:40:22 2026 +0000
tree: abfe967ea11473a60f8754aa55782272ce290e5d
parent: 89875592193170fdb8c50c13cbacd674b6b14233 [diff]

chore: lean_assert => kernel exceptions

src/kernel/inductive.cpp[diff]

1 file changed

tree: abfe967ea11473a60f8754aa55782272ce290e5d

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.