commit: 39ab6c33435c251099aa00937a2e2bfc8d29a2d8

[log]
author: Sebastian Ullrich <sebasti@nullri.ch>

Mon Jul 29 10:19:14 2024 +0200
committer: GitHub <noreply@github.com>

Mon Jul 29 10:19:14 2024 +0200
tree: 341067ed14823c89fe5db58762dfd7bf9c6b2aea
parent: 83ad82162fe18b49d87f31139c7a8684e0a284b3 [diff]

chore: CI: fix msys2

.github/workflows/ci.yml[diff]

1 file changed

tree: 341067ed14823c89fe5db58762dfd7bf9c6b2aea

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