commit: 2e9f62cc98a3c6accf28bd4a7ef387d2e76c289b

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

Mon Sep 16 09:37:47 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Mon Sep 16 09:37:47 2024 +1000
tree: 0fc9f6606aa5ab8b6dd6a63d689a48f291081818
parent: 4c439c73a7473ec51ac0763f15bd6e53dcbaff0f [diff]

feat: List.replicate lemmas

3 files changed

tree: 0fc9f6606aa5ab8b6dd6a63d689a48f291081818

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