commit: 589dbc595ecf0cb99fa7500c1e3bf44c0e2f75e8

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

Thu Aug 21 12:50:48 2025 -0300
committer: Sofia Rodrigues <sofia@algebraic.dev>

Thu Aug 21 12:50:48 2025 -0300
tree: 156de82f93d91bd659a9e9683e297b4ef6adc2c3
parent: 03103e6cdaa6d584e82c71c3425d04de18dbcf35 [diff]

refactor: remove type annotation in remNano and secs

src/Std/Time/DateTime/PlainDateTime.lean[diff]

1 file changed

tree: 156de82f93d91bd659a9e9683e297b4ef6adc2c3

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.