The Agda standard library: version 2.0. - Matthew L. Daggitt; Guillaume Allais; James McKinna; Andreas Abel 001; Van Doorn; Nathan; James Wood; Ulf Norell; Donnacha Oisín Kidney; Sergei Meshveliani; Sandro Stucki; Jacques Carette; et al. (J. Open Source Softw., 2025)