commit: 6585a3ec228dfcabb207bc34639c90bddf60daf3

[log]
author: Joe Hendrix <joe@lean-fro.org>

Mon Apr 08 22:30:16 2024 -0700
committer: Kim Morrison <kim@tqft.net>

Thu Jun 20 10:56:55 2024 +1000
tree: 13eabab721df031a37318cc9753ca778311d8eb7
parent: 00f87d45b4561139dbb5e0f37824ec135c065664 [diff]

feat: reorder lemmas

2 files changed

tree: 13eabab721df031a37318cc9753ca778311d8eb7

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