commit: cd6b4175172644ef5b3a2641d88ea9a985b25f54

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

Mon May 11 09:37:34 2026 -0300
committer: GitHub <noreply@github.com>

Mon May 11 09:37:34 2026 -0300
tree: 248964c55f5aad6bc2bd4a6649ca25fe349ee687
parent: 2ffb65183fdbe8e6c015098c8d1410a684a0d583 [diff]

fix: comment

Co-authored-by: Julia Markus Himmel <2065352+TwoFX@users.noreply.github.com>

src/Std/Time/Date/PlainDate.lean[diff]

1 file changed

tree: 248964c55f5aad6bc2bd4a6649ca25fe349ee687

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.