The Agda standard library: version 2.0

Fuente: Zenodo

Salvato in:

Dettagli Bibliografici
Autori principali:	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
Natura:	Recurso digital
Lingua:	inglese
Pubblicazione:	Zenodo 2025
Soggetti:	Formal verification Agda Standard Library
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Accesso online