commit: c3dfabea69b4831f4e4ee8ad7330e58b22112d27

[log]
author: Henrik Böving <hargonix@gmail.com>

Sat Jan 04 20:15:15 2025 +0100
committer: Henrik Böving <hargonix@gmail.com>

Sat Jan 04 20:15:15 2025 +0100
tree: 66ac20dff241472c641066ceb8b4a09007039a32
parent: b9247cff8cbbf478e4c3994e2445876815719c28 [diff]

chore: share duplicated code

src/runtime/uv/timer.cpp[diff]

1 file changed

tree: 66ac20dff241472c641066ceb8b4a09007039a32

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