commit: f9ba57ea3d20dbfe01ce63cca5d4a9e44978b3a5

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Tue Jul 16 16:59:45 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Jul 16 16:59:45 2024 -0700
tree: a13d8fd8e85da01ba0760c312db3de9e16689372
parent: 8558fd60f63ee636e03512a607664f3f10a0121e [diff]

chore: add TODO comment

src/runtime/sharecommon.cpp[diff]

1 file changed

tree: a13d8fd8e85da01ba0760c312db3de9e16689372

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