commit: 6116ac4592942c1fea2ec3026473d91d3aabce52

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

Mon Jun 08 08:01:27 2026 +0000
committer: Henrik Böving <hargonix@gmail.com>

Mon Jun 08 11:04:18 2026 +0000
tree: 288013f6510e27d32803de6570e8750f2144c1b0
parent: d265d1ca745e7741a7e7f7366c22ce9c9dda57b6 [diff]

perf: use std::to_chars for USize serialization

src/runtime/object.cpp[diff]

1 file changed

tree: 288013f6510e27d32803de6570e8750f2144c1b0

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.