commit: 52bf709fc4b31023061ace2ed09a7b762b80b65f

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

Mon Sep 22 10:03:39 2025 +0200
committer: Kim Morrison <kim@tqft.net>

Mon Sep 22 10:03:39 2025 +0200
tree: 367d303a022113d25d5efdbb2b14a21ee151b2a1
parent: d0d5d4ca39d27e84c8e2a0bd536ef4105a26dec7 [diff]

chore: add grind annotations for List.not_mem_nil

3 files changed

tree: 367d303a022113d25d5efdbb2b14a21ee151b2a1

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.