commit: 61d4f67fc913696beb18bc14402adfaf2629be92

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

Sun Oct 26 22:25:56 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Mon Oct 27 09:40:02 2025 +1100
tree: 843c22b8421e39f9e063ccb0710f23b9c5476c4e
parent: 97d63db52cd2fc3353f8a75f48209de0011f1bd3 [diff]

feat: add LawfulOfScientific class

3 files changed

tree: 843c22b8421e39f9e063ccb0710f23b9c5476c4e

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.