Zulip Chat Archive
Stream: lean4
Topic: Wall clock time
Yicheng Qian (Jan 12 2025 at 09:07):
Is there a way to access wall clock time in Lean4?
Henrik Böving (Jan 12 2025 at 09:33):
Last updated: May 02 2025 at 03:31 UTC
Is there a way to access wall clock time in Lean4?
Last updated: May 02 2025 at 03:31 UTC