commit: 9a65c5a43b7c9e9737142ac1de4eda261c57b059

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

Thu Oct 16 16:29:19 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Thu Oct 16 16:29:19 2025 -0700
tree: 5cc77f9e10553774080507946145e50a5eb1fcd4
parent: a7ca25ab0ade52d2f38e5096ea3944d59a9f2388 [diff]

feat: compute number of anchor digits

2 files changed

tree: 5cc77f9e10553774080507946145e50a5eb1fcd4

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.