Cubical agda (Q1350644): Difference between revisions

From MaRDI portal
m rollbackEdits.php mass rollback
Tag: Rollback
Swh import (talk | contribs)
SWHID from Software Heritage
 
(2 intermediate revisions by 2 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI software profile / rank
 
Normal rank
Property / Software Heritage ID
 
Property / Software Heritage ID: swh:1:snp:fdff46f5cde437058a55437598e0afeb9d679491 / rank
 
Normal rank
Property / Software Heritage ID: swh:1:snp:fdff46f5cde437058a55437598e0afeb9d679491 / qualifier
 
Property / Software Heritage ID: swh:1:snp:fdff46f5cde437058a55437598e0afeb9d679491 / qualifier
 
point in time: 15 March 2024
Timestamp+2024-03-15T00:00:00Z
Timezone+00:00
CalendarGregorian
Precision1 day
Before0
After0
links / mardi / namelinks / mardi / name
 

Latest revision as of 20:02, 19 March 2024

No description defined
Language Label Description Also known as
English
Cubical agda
No description defined

    Statements

    Identifiers