commit: e00b332d02ecaecde5d667933bd8bd5bcc13887c

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

Mon Feb 24 11:40:51 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Mon Feb 24 11:40:51 2025 +1100
tree: 06c0743b04398e8c41916f26e6642b6b2026fbc2
parent: 45302491f7d6309c34ab6753944732d54b3e6264 [diff]

complete fmod/tmod/emod comparisons

4 files changed

tree: 06c0743b04398e8c41916f26e6642b6b2026fbc2

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