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
v4.20.0v4.20.03.5 MB5896ec6
v4.20.0v4.20.03.5 MBa1c7dcf
v4.19.0v4.19.023bbac1
v4.16.0v4.16.062cb710
v4.15.0v4.15.001ac04f
v4.14.0v4.14.03.5 MB6409537
v4.13.0v4.13.03.5 MBdc472e0
v4.12.0v4.12.03.0 MB937184d
v4.11.0v4.11.0ddc8fe4
v4.10.0v4.10.02.9 MB5011067
v4.7.0v4.7.0