The Agda Community. (2025). Cubical Agda Library (Version 0.9) [Computer software]. https://github.com/agda/cubical