commit: 3be678c88a2000da9d67896c4497d1c49bca168a

[log]
author: Kim Morrison <kim@tqft.net>

Tue Jun 18 17:00:25 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Tue Jun 18 17:00:25 2024 +1000
tree: dd98683b7863ebee3ef5ee8ce4848f76b0c097a4
parent: de9b419f375f0125b92bf8833d19c254a99f3b98 [diff]

restore newly-confluence #check_simp

tests/lean/run/list_simp.lean[diff]

1 file changed

tree: dd98683b7863ebee3ef5ee8ce4848f76b0c097a4

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