commit: 8633221b616e0c192b57b6259f29f788162123b7

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

Wed Oct 16 13:47:14 2024 +1100
committer: Kim Morrison <kim@tqft.net>

Wed Oct 16 13:47:14 2024 +1100
tree: 57e339082f387824bdb03be598b5709dbf5082bf
parent: c37e31a84e42cbf2d08aee062ec844f0b69c083f [diff]

getAppNumArgs'

src/Lean/Expr.lean[diff]

1 file changed

tree: 57e339082f387824bdb03be598b5709dbf5082bf

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