commit: 30ce91e2f436dffa77c6caff2b141ef4244a22ee

[log]
author: Sofia Rodrigues <sofia@algebraic.dev>

Tue Apr 28 22:52:46 2026 -0300
committer: Sofia Rodrigues <sofia@algebraic.dev>

Tue Apr 28 22:52:58 2026 -0300
tree: 811d78bb5e81bc4d350573fc7d0d7479874773a0
parent: eb62b37fc60241f66c0b6ed74fbe024994405f34 [diff]

fix: alignedweekofmonth

4 files changed

tree: 811d78bb5e81bc4d350573fc7d0d7479874773a0

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.