commit: 4628e683bd3112aac9b4665c2248a16270c2c58e

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Wed Feb 14 15:03:47 2024 -0800
committer: Scott Morrison <scott.morrison@gmail.com>

Thu Feb 15 14:35:57 2024 +1100
tree: a209ff7bb98890db9ed69b9a48e9d146e97e86d2
parent: 57c3b8f8be831ded160eebebb66f87a4ab275a84 [diff]

chore: add `[ext]` basic theorems, add test

3 files changed

tree: a209ff7bb98890db9ed69b9a48e9d146e97e86d2

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.