Flyspeck (Q22240): Difference between revisions

← Older edit

@@ Property / source code repository @@
+https://github.com/flyspeck/flyspeck
@@ Property / source code repository: https://github.com/flyspeck/flyspeck / rank @@
+Normal rank
@@ Property / Software Heritage ID @@
+swh:1:snp:ed1ea880207967b019fe09654d58c5a854b3342d
+Normal rank
+source code repository: https://github.com/flyspeck/flyspeck
+point in time: 10 January 2021Timestamp +2021-01-10T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2021-01-10T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After