The Agda standard library: version 2.0
Fuente:
Zenodo
Salvato in:
| Autori principali: | , , , , , , , , , , , , , , , , |
|---|---|
| Natura: | Recurso digital |
| Lingua: | inglese |
| Pubblicazione: |
Zenodo
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866901139552731136 |
|---|---|
| author | Daggitt, Matthew Allais, Guillaume McKinna, James Abel, Andreas Martin van Doorn, Nathan Wood, James Norell, Ulf Kidney, Donnacha Oisín Meshveliani, Sergei Stucki, Sandro Carette, Jacques Rice, Alex Hu, Jason Z. S. Xia, Li-yao You, Shu-Hung Mullanix, Reed Kokke, Wen |
| author_facet | Daggitt, Matthew Allais, Guillaume McKinna, James Abel, Andreas Martin van Doorn, Nathan Wood, James Norell, Ulf Kidney, Donnacha Oisín Meshveliani, Sergei Stucki, Sandro Carette, Jacques Rice, Alex Hu, Jason Z. S. Xia, Li-yao You, Shu-Hung Mullanix, Reed Kokke, Wen |
| contents | <p>Version 2.0 of the Agda Standard Library - uploaded for publication in the Journal of Open Source Software</p> |
| format | Recurso digital |
| id | zenodo_https___doi_org_10_5281_zenodo_17998439 |
| institution | Zenodo |
| language | eng |
| publishDate | 2025 |
| publisher | Zenodo |
| record_format | zenodo |
| spellingShingle | The Agda standard library: version 2.0 Daggitt, Matthew Allais, Guillaume McKinna, James Abel, Andreas Martin van Doorn, Nathan Wood, James Norell, Ulf Kidney, Donnacha Oisín Meshveliani, Sergei Stucki, Sandro Carette, Jacques Rice, Alex Hu, Jason Z. S. Xia, Li-yao You, Shu-Hung Mullanix, Reed Kokke, Wen Formal verification Agda Standard Library <p>Version 2.0 of the Agda Standard Library - uploaded for publication in the Journal of Open Source Software</p> |
| title | The Agda standard library: version 2.0 |
| topic | Formal verification Agda Standard Library |
| url | https://doi.org/10.5281/zenodo.17998439 |