commit: f69273756ea7af9c4521c1e55f28701561b8e99d

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

Mon Jun 16 16:35:07 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Mon Jun 16 16:35:07 2025 +1000
tree: f50d5c964bd95b87efa5fc64142808cd499dddf8
parent: db414957a0402da9cd44773d37186b1c9220d359 [diff]

feat: basic theory of ordered modules over Nat

2 files changed

tree: f50d5c964bd95b87efa5fc64142808cd499dddf8

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.