« first day (1914 days earlier)   

8:01 AM
The question Which mathematical definitions should be formalised in Lean? is now in the HNQ list. (Perhaps it§s not that surprising.)
 

« first day (1914 days earlier)