commit: 1d617582abdb5fdafe3a1b376c4b2ce7d3670fb8

[log]
author: Kyle Miller <kmill31415@gmail.com>

Sun Mar 30 14:47:19 2025 -0700
committer: Kyle Miller <kmill31415@gmail.com>

Mon Mar 31 12:20:33 2025 -0700
tree: d64ac13cba6e5973bd5f7b3efc1bc45fa9554d5e
parent: 0fd7c760b342472a1b9f67e21d0995644aa8a8a1 [diff]

let's remove the field in a different PR

3 files changed

tree: d64ac13cba6e5973bd5f7b3efc1bc45fa9554d5e

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