commit: 0a44c6859a447aa9082084bc5de60bcae9102f7e

[log]
author: Joachim Breitner <mail@joachim-breitner.de>

Sat Sep 21 11:39:10 2024 +0200
committer: Joachim Breitner <mail@joachim-breitner.de>

Sat Sep 21 11:55:08 2024 +0200
tree: 399c024064c2f455f3be5510f2da7fe919df4db7
parent: a6830f90ab365e14ccb7ca31201de37f8c1e978c [diff]

feat: expose Kernel.check for debugging purposes

along `Kernel.isDefEq` and `Kernel.whnf`.

3 files changed

tree: 399c024064c2f455f3be5510f2da7fe919df4db7

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