commit: ca037ded0dbfe4fd23c853615ed6386f88dff6ba

[log]
author: Cameron Zwarich <cameron@lean-fro.org>

Sun May 18 15:10:58 2025 -0700
committer: GitHub <noreply@github.com>

Sun May 18 22:10:58 2025 +0000
tree: 21fc5d73951304c4ae61b1f7293973eaf66c90bb
parent: 006d2925ba5791122ef4854d23543c986419cb77 [diff]

chore: rename LitValue.natVal/strVal to .nat/str (#8394)

10 files changed

tree: 21fc5d73951304c4ae61b1f7293973eaf66c90bb

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.