commit: d2011a2e5416e9632dd11b0137f0eb9dd787d850

[log]
author: Kim Morrison <kim@tqft.net>

Wed Apr 29 01:03:01 2026 +0000
committer: Kim Morrison <kim@tqft.net>

Sat May 09 21:36:15 2026 +1000
tree: 7e0359e584b025b4c2f5e124c3c3f0dfff5bbfb4
parent: 41ecccec6d1244c5f89be2fc76638f22ba37cbc6 [diff]

chore: make Glob.ofString? public

src/lake/Lake/Load/Toml.lean[diff]

1 file changed

tree: 7e0359e584b025b4c2f5e124c3c3f0dfff5bbfb4

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.