commit: b4a9590aefd214a0909a786cf97c295434d089f5

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

Tue Aug 06 10:04:53 2024 +0200
committer: GitHub <noreply@github.com>

Tue Aug 06 10:04:53 2024 +0200
tree: 0df30bdf48ca2ecec6fd9430270697ead97535cc
parent: 14d59b3599d0b4fbfaf147e7ede2d82cbad7a1e7 [diff]

chore: ignore stale leanpkg tests

src/shell/CMakeLists.txt[diff]

1 file changed

tree: 0df30bdf48ca2ecec6fd9430270697ead97535cc

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