The Agda Universal Algebra Library, Part 1: Foundation - Citation Graph | Papersgraph