[ citation ] fix 'van' prefix

Still TODO: sort by main name parts
agda · Sep 17, 2024 · 235f472 · 235f472
1 parent 62f1a47
commit 235f472
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/paper/paper.bib b/paper/paper.bib
@@ -1,6 +1,5 @@
 @mastersthesis{ivardeBruin2023,
   author = {Ivar {de Bruin}},
-  sortname = {Bruijn, Ivar de},
   title = {Improving {Agda}'s module system},
   institution = {Delft University of Technology},
   year = 2023,
@@ -142,7 +141,7 @@ @misc{coq2024manual
 
 @inproceedings{van2020maintaining,
   title={Maintaining a library of formal mathematics},
-  author={van Doorn, Floris and Ebner, Gabriel and Lewis, Robert Y},
+  author={{van Doorn}, Floris and Ebner, Gabriel and Lewis, Robert Y},
   booktitle={International Conference on Intelligent Computer Mathematics},
   pages={251--267},
   year={2020},