commit: 2fe74ba5bcfd2dcec163e41481e34fe33df5c0d1

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

Tue Dec 03 13:59:30 2024 +1100
committer: Kim Morrison <kim@tqft.net>

Tue Dec 03 15:24:21 2024 +1100
tree: f3b1ea70862154a313ad3cf260d4df306a941515
parent: 904404303b5b7f2f597498af14f793ab72d82c87 [diff]

feat: simprocs for other Fin operations

3 files changed

tree: f3b1ea70862154a313ad3cf260d4df306a941515

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 (documentation source: doc/make/index.md).