commit: 20f2ece16641258d9d5765c165045e6887fc2cca

[log]
author: Rob Simmons <rob@lean-fro.org>

Sat Dec 20 16:38:31 2025 -0500
committer: Rob Simmons <rob@lean-fro.org>

Sat Dec 20 16:38:31 2025 -0500
tree: f448b20c3c54434ad112a1065e11777c854bd4d3
parent: 6c093a5f4c11066fe5641959e8255b2aa2d045d8 [diff]

stop using deprecated functions

3 files changed

tree: f448b20c3c54434ad112a1065e11777c854bd4d3

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.