commit: aed91a9efd2fa306f1f072983a90dde74a049386

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

Sun Oct 19 15:27:14 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sun Oct 19 15:33:26 2025 -0700
tree: 2b7070dda8d062ab3a59485f12c9de36f463abf8
parent: 206eb73cd9de4b58abbb2eae20a41fd9b7af187b [diff]

feat: expose `optionValue` parser

src/Lean/Parser/Command.lean[diff]

1 file changed

tree: 2b7070dda8d062ab3a59485f12c9de36f463abf8

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.