The Agda standard library: version 2.0
Fuente:
Zenodo
Enregistré dans:
| Auteurs principaux: | , , , , , , , , , , , , , , , , |
|---|---|
| Format: | Recurso digital |
| Langue: | anglais |
| Publié: |
Zenodo
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _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 |