commit: b20f4208c2479427380f1543c5e81c7c2fe7859c

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

Fri Mar 15 11:04:50 2024 +0100
committer: GitHub <noreply@github.com>

Fri Mar 15 11:04:50 2024 +0100
tree: c714f84d38c26e97ed564d6031c3bfc8e487f3f8
parent: 3a726a2ab7cfe4b2eeec14f544ac106e7286c74e [diff]

try cancellation

.github/workflows/ci.yml[diff]

1 file changed

tree: c714f84d38c26e97ed564d6031c3bfc8e487f3f8

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.