commit: 556fe87f7ebdba8ed711bbef6e678e9159673839

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

Wed Oct 08 13:31:00 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Wed Oct 08 13:33:45 2025 -0700
tree: a6fd78e7cc7c184d6a573238f4eea07f95e3e63a
parent: 98a6fa1ac7089719695f4537497a864470f05db9 [diff]

feat: `hexnum` parser

This PR adds a new helper parser for implementing parsers that contain
hexadecimal numbers. We are going to use it to implement anchors in
the `grind` interactive mode.

10 files changed

tree: a6fd78e7cc7c184d6a573238f4eea07f95e3e63a

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.