add coauthor:

Ferinko · Ferinko · commit 139f81065d07 · 2025-06-30T14:45:12.000+02:00
diff --git a/ArkLib/Data/CodingTheory/JohnsonBound.lean b/ArkLib/Data/CodingTheory/JohnsonBound.lean
@@ -1,6 +1,6 @@
 /- Copyright (c) 2024-2025 ArkLib Contributors. All rights reserved.
 Released under Apache 2.0 license as described in the file LICENSE.
-Authors: Ilia Vlasov 
+Authors: Ilia Vlasov, František Silváši
 -/
 import ArkLib.Data.CodingTheory.JohnsonBound.Lemmas
 
diff --git a/ArkLib/Data/CodingTheory/JohnsonBound/Choose2.lean b/ArkLib/Data/CodingTheory/JohnsonBound/Choose2.lean
@@ -1,6 +1,6 @@
 /- Copyright (c) 2024-2025 ArkLib Contributors. All rights reserved.
 Released under Apache 2.0 license as described in the file LICENSE.
-Authors: Ilia Vlasov 
+Authors: Ilia Vlasov, František Silváši
 -/
 import Mathlib.Algebra.Field.Rat
 import Mathlib.Analysis.Convex.Function
diff --git a/ArkLib/Data/CodingTheory/JohnsonBound/Expectations.lean b/ArkLib/Data/CodingTheory/JohnsonBound/Expectations.lean
@@ -1,6 +1,6 @@
 /- Copyright (c) 2024-2025 ArkLib Contributors. All rights reserved.
 Released under Apache 2.0 license as described in the file LICENSE.
-Authors: Ilia Vlasov 
+Authors: Ilia Vlasov, František Silváši
 -/
 import Mathlib.Algebra.Field.Rat
 import Mathlib.Analysis.Convex.Function
diff --git a/ArkLib/Data/CodingTheory/JohnsonBound/Lemmas.lean b/ArkLib/Data/CodingTheory/JohnsonBound/Lemmas.lean
@@ -1,6 +1,6 @@
 /- Copyright (c) 2024-2025 ArkLib Contributors. All rights reserved.
 Released under Apache 2.0 license as described in the file LICENSE.
-Authors: Ilia Vlasov 
+Authors: Ilia Vlasov, František Silváši
 -/
 import ArkLib.Data.CodingTheory.JohnsonBound.Expectations
 
