commit: 8f81b794ecb1cc2df8726505cbb7706018ecdb33

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

Wed Jul 17 05:13:07 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Wed Jul 17 05:13:33 2024 +1000
tree: cfdb23b751f61ddb804815d7f548a94050f0632a
parent: 7aec6c9ae7a54935ada0df0b4cc1efafc2291007 [diff]

feat: simprocs for #[1,2,3,4,5][2]

5 files changed

tree: cfdb23b751f61ddb804815d7f548a94050f0632a

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).