commit: c7fd8733334bb0053e4e7ce39b4d241abe08f456

[log]
author: Henrik Böving <hargonix@gmail.com>

Wed Jan 15 14:36:16 2025 +0100
committer: Sebastian Ullrich <sebasti@nullri.ch>

Wed Jan 15 15:17:36 2025 +0100
tree: 161cde3aab47fc5e6eeb35d4287d9f1d3e074964
parent: a10ce9492fa1240398c59cc6938e2738a750a3a6 [diff]

feat: tag lemmas

3 files changed

tree: 161cde3aab47fc5e6eeb35d4287d9f1d3e074964

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