Agda (Q21668): Difference between revisions

From MaRDI portal
← Older edit
‎Created claim: source code repository (P339): https://github.com/agda/agda, #quickstatements; #temporary_batch_1711027662947
Swh import (talk | contribs)
Bots
38,380 edits
SWHID from Software Heritage
 
Property / Software Heritage ID
 
Property / Software Heritage ID: swh:1:snp:f03b86a7a4353fa7d870515f804804d28c6e05bb / rank
 
Normal rank
Property / Software Heritage ID: swh:1:snp:f03b86a7a4353fa7d870515f804804d28c6e05bb / qualifier
 
Property / Software Heritage ID: swh:1:snp:f03b86a7a4353fa7d870515f804804d28c6e05bb / qualifier
 
point in time: 16 March 2024
Timestamp+2024-03-16T00:00:00Z
Timezone+00:00
CalendarGregorian
Precision1 day
Before0
After0

Latest revision as of 15:30, 21 March 2024

No description defined
Language Label Description Also known as
English
Agda
No description defined

    Statements

    Identifiers

    swMATH work ID
    9689
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q21668&oldid=33111609"
    Powered by MediaWiki