The Agda standard library: version 2.0

Fuente: Zenodo

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	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
Format:	Recurso digital
Sprache:	Englisch
Veröffentlicht:	Zenodo 2025
Schlagworte:	Formal verification Agda Standard Library
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Online