commit: 965d831c31efb40f7278926d745a04b405b1d212

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

Mon Sep 16 09:54:43 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Mon Sep 16 10:31:40 2024 +1000
tree: 500dc499a2f0f652a861675b047040089c77be42
parent: cf23b55384ca902c70c344ab9730b648e974df85 [diff]

chore: cleanup after export Bool.and/or/not/xor

23 files changed

tree: 500dc499a2f0f652a861675b047040089c77be42

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