search

UniMath / agda-unimath

The agda-unimath library
https://unimath.github.io/agda-unimath/
MIT License
211 stars 67 forks source link

Fix citation tag configuration for some references #1143

Closed fredrik-bakke closed 1 month ago

fredrik-bakke commented 1 month ago

Fixes and simplifies some citation label configuration. It turns out the system is capable of handling edge cases for capitalization in names, such as "de Jong, Tom" without further input from us.

fredrik-bakke commented 1 month ago

Oh, and before you ask. I did check a couple to see that the labels were correctly inferred.