commit: 1bd8055aacf016f83fa13ff9545c66049b755285

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

Mon Jun 30 21:02:41 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Jun 30 21:02:41 2025 -0700
tree: aa8b8fd6cf506d1fd19f08b3df2835efb08892b9
parent: f2e06ead5436e01e585a15dcc795ccb96bf3d182 [diff]

perf: kernel defeq

src/kernel/type_checker.cpp[diff]

1 file changed

tree: aa8b8fd6cf506d1fd19f08b3df2835efb08892b9

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.