commit: 60e233f6a37d6f20352770c407040eb4d711fb10

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

Mon Sep 09 12:53:42 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Mon Sep 09 12:54:24 2024 +1000
tree: 7383e5ea9999b80774906eaceeb6717b14025007
parent: 7a7440f59b729a86f8e168fcbd0cf5d5da2c5f2c [diff]

feat: List.count lemmas

6 files changed

tree: 7383e5ea9999b80774906eaceeb6717b14025007

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