commit: aae8671944db26b0cbc3d3dc95be263a41e43340

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

Thu Feb 01 14:26:12 2024 +0100
committer: GitHub <noreply@github.com>

Thu Feb 01 14:26:12 2024 +0100
tree: bcb1bb1b91110b21f3780d991923f6dac16cdcc5
parent: 1d8cf38ff9163eed6f6c0e73a9119afea7b0d9be [diff]

chore: CI: do not fail on broken links

.github/workflows/nix-ci.yml[diff]

1 file changed

tree: bcb1bb1b91110b21f3780d991923f6dac16cdcc5

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.