commit: b34d00093818af6342846774fd180c87ef966d68

[log]
author: Scott Morrison <scott.morrison@gmail.com>

Tue Feb 06 21:23:59 2024 +1100
committer: Scott Morrison <scott.morrison@gmail.com>

Tue Feb 06 21:23:59 2024 +1100
tree: 557eaf56315a8707a291857a49db682e5c717259
parent: cf092e79416c959a8238d89841963a8eb89c2a77 [diff]

feat: upstream helper functions for Name

src/Lean/Data/Name.lean[diff]

1 file changed

tree: 557eaf56315a8707a291857a49db682e5c717259

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.