add acknowledgements

avigad · Jan 6, 2025 · aa6265f · aa6265f
1 parent 1988747
commit aa6265f
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/MIL/C01_Introduction/S02_Overview.lean b/MIL/C01_Introduction/S02_Overview.lean
@@ -219,9 +219,9 @@ Marc Huisinga,
 Benjamin Jones,
 Julian Külshammer,
 Victor Liu, Jimmy Lu,
-Martin C. Martin, Giovanni Mascellani, John McDowell, Isaiah Mindich, Hunter Monroe,
-Pietro Monticone,
-Oliver Nash, Emanuelle Natale,
+Martin C. Martin, Giovanni Mascellani, John McDowell, Bhavik Mehta, Isaiah Mindich,
+Kabelo Moiloa, Hunter Monroe, Pietro Monticone,
+Oliver Nash, Emanuelle Natale, Filippo A. E. Nuccio,
 Pim Otte,
 Bartosz Piotrowski,
 Nicolas Rolland, Keith Rush,