commit: 76561051ac1a2c76b91d6a921dd8651fb4694e43

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

Mon Sep 09 22:30:57 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Mon Sep 09 22:31:14 2024 +1000
tree: 2a7d534ada75fc7524b5012779f684175d068024
parent: c96fbdda44c14c7c256f046fb2b71fae25ea968e [diff]

feat: List.mem_ite_nil_left and analogues

3 files changed

tree: 2a7d534ada75fc7524b5012779f684175d068024

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