commit: 09ddc75f29e39c6ade8348a20ba3ad05d4f8e1bd

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

Wed Jul 17 11:39:29 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Wed Jul 17 11:39:29 2024 -0700
tree: f17d1361ed6cfed4b62391c9ea4b80ffd40b4e85
parent: 41b491483610a030b67535c73ccfc718776a81af [diff]

feat: add `lean_set_external_data`

src/include/lean/lean.h[diff]

1 file changed

tree: f17d1361ed6cfed4b62391c9ea4b80ffd40b4e85

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