time
Port of the haskell time library to Lean 4 and verification of date calculations
of 11 versions of time
1-11Sort by
Date
5896ec6
5896ec6
a1c7dcf
v4.19.0v4.19.023bbac1
v4.16.0v4.16.062cb710
v4.15.0v4.15.001ac04f
6409537
dc472e0
937184d
v4.11.0v4.11.0ddc8fe4
5011067