ammkrntimelib0.2.1

A date and time library for Lean 4

timelib

A date and time library for Lean 4, implementing the proleptic Gregorian calendar.

Status