@Manual{          cleveref,
  date-added    = "2020-01-08 19:35:18 +0100",
  date-modified = "2020-01-08 19:35:44 +0100",
  Title         = "Cleveref manual (cref)",
  File          = "cleveref - a - a - z.pdf"
}

@Manual{ cleveref, date-added = "2020-01-08 19:35:18 +0100", date-modified = "2020-01-08 19:35:44 +0100", Title = "Cleveref manual (cref)", File = "cleveref - a - a - z.pdf" }

Library Size: 13G (12941 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A badge