commit: de1fd454a4319a9896091c702b7acb7fce72b5f3

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

Sun Aug 25 12:36:01 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Sun Aug 25 12:36:34 2024 +1000
tree: 300a0a16c93400952d1102072305ed54386d6502
parent: 2bc87298d9fc5b1a63dd8c10c15e970d5df93fdf [diff]

feat: improving confluence of List simp lemmas

3 files changed

tree: 300a0a16c93400952d1102072305ed54386d6502

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