Def timeCmdElab

Modification history

2024-09-03 05:37

Mathlib/Util/Time.lean

chore: merge bump/v4.12.0 and move toolchain to v4.12.0-rc1 (#16433)

Deleted timeCmdElab View on Github →

2022-10-20 15:23

Mathlib/Util/Time.lean

chore: update lean + std4 10-20 (#483)

Modified timeCmdElab View on Github →

2021-08-18 12:21

Mathlib/Util/Time.lean

feat(Util/Time): #time command

Added timeCmdElab View on Github →