commit: fe8ea7a1f3c459edc4b772b1326ccd591ed6bda7

[log]
author: Scott Morrison <scott.morrison@gmail.com>

Wed Apr 24 15:52:31 2024 +1000
committer: Scott Morrison <scott.morrison@gmail.com>

Wed Apr 24 15:52:31 2024 +1000
tree: aa34fddc7ea93a9da58be27c47e32beef52deae6
parent: cf5e76973b58f0a2fd54204e254c489d868d39a3 [diff]
parent: 41697dcf6cab7ec82723ba404f2bda7a4526bb2b [diff]

Merge remote-tracking branch 'origin/master' into monadic_FindExpr

tree: aa34fddc7ea93a9da58be27c47e32beef52deae6

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.