commit: 50a9bde1ead2ffc15e8fcff91e3fe7cc63821c7d

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

Mon Sep 15 03:34:58 2025 +0200
committer: Kim Morrison <kim@tqft.net>

Mon Sep 15 03:34:58 2025 +0200
tree: 515d849d12807d3a57e1cb82d12397696b88086c
parent: 22a4cab8c72279f922d8f6fde22739244d5be90b [diff]

feat: updates to release process for cslib

script/release_steps.py[diff]

1 file changed

tree: 515d849d12807d3a57e1cb82d12397696b88086c

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.