commit: 8681a44e792d38f4cc71d143c0cd83567ba594b3

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

Tue May 27 23:20:50 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Tue May 27 23:20:50 2025 +1000
tree: f1d42cb9b527f2de6adf230e0b9849eb56410fe5
parent: 1e752b0a01bafdbcea6496ac4add09226b92aa99 [diff]

chore: make Array.ofFn.go use fuel

2 files changed

tree: f1d42cb9b527f2de6adf230e0b9849eb56410fe5

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.