Cubical agda (Q1350644): Difference between revisions

← Older edit

@@ Property / Software Heritage ID @@
-swh:1:snp:4b57bb8bf807a28eb4a791a4638d45598b3187c5
-Normal rank
-source code repository: https://github.com/agda/cubical
-point in time: +2023-10-11T00:40:36ZTimestamp +2023-10-11T00:40:36Z
Timezone +00:00
Calendar Gregorian
Precision 1 second
Before 0
After 0
-Timestamp
++2023-10-11T00:40:36Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+second
 Before
 After
@@ Property / MaRDI profile type @@
+MaRDI software profile
@@ Property / MaRDI profile type: MaRDI software profile / rank @@
+Normal rank
@@ Property / Software Heritage ID @@
+swh:1:snp:fdff46f5cde437058a55437598e0afeb9d679491
+Normal rank
+source code repository: https://github.com/agda/cubical
+point in time: 15 March 2024Timestamp +2024-03-15T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2024-03-15T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ links / mardi / name / links / mardi / name @@
+Software:1350644