commit: ae909728623bcbd0e2070e7fb22cb94ceac3f404

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

Mon Aug 12 13:59:30 2024 +0200
committer: Sebastian Ullrich <sebasti@nullri.ch>

Mon Aug 12 13:59:30 2024 +0200
tree: 65088920ba4da0d20b81c22ae95bde14e35f547d
parent: 36a784b49f013df193c072a7fd1689ecf55ed775 [diff]

remove panicking guard_msgs test

2 files changed

tree: 65088920ba4da0d20b81c22ae95bde14e35f547d

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