de Bruijn again

leanprover · Feb 5, 2025 · a9a28a6 · a9a28a6
1 parent 6300b1f
commit a9a28a6
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.vale/styles/config/ignore/names.txt b/.vale/styles/config/ignore/names.txt
@@ -1,4 +1,5 @@
 Blott
+Bruijn
 Carneiro
 Collatz
 Lua