commit: f78766535e794f67a7a8b3f1ea2362327f7f3d30

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

Mon Feb 19 11:36:09 2024 +0100
committer: Sebastian Ullrich <sebasti@nullri.ch>

Mon Feb 19 11:39:23 2024 +0100
tree: db1fd5b27c1f582c793e449c51edb5aa57d9ad0d
parent: b141110c411ad5a3c150f0febfc17107c28eb6bd [diff]

fix more exception swallowing

2 files changed

tree: db1fd5b27c1f582c793e449c51edb5aa57d9ad0d

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.