commit: dea32d8f678fcc651cc7d3cfe9b8f80b61440798

[log]
author: Sofia Rodrigues <sofia@algebraic.dev>

Fri Dec 05 00:55:53 2025 -0300
committer: Sofia Rodrigues <sofia@algebraic.dev>

Fri Dec 05 00:55:53 2025 -0300
tree: f35644cdbf9021bf9dab80289e725e6dbc2493ed
parent: ab606ba7541e65dc1e7ba695a50772de9891f3d0 [diff]

fix: segfault when starting a new timer

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

1 file changed

tree: f35644cdbf9021bf9dab80289e725e6dbc2493ed

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.