diff --git a/pyk/src/pyk/k2lean4/k2lean4.py b/pyk/src/pyk/k2lean4/k2lean4.py
index d8654ffc9d..5a2247f366 100644
--- a/pyk/src/pyk/k2lean4/k2lean4.py
+++ b/pyk/src/pyk/k2lean4/k2lean4.py
@@ -375,7 +375,7 @@ def _free_binders(self, pattern: Pattern) -> list[Binder]:
 
     def _def_binders(self, defs: Mapping[str, Pattern]) -> list[Binder]:
         return [
-            ExplBinder((f'def{ident}',), Term(f'{self._transform_pattern(pattern)} = some {ident}'))
+            ExplBinder((f'defn{ident}',), Term(f'{self._transform_pattern(pattern)} = some {ident}'))
             for ident, pattern in defs.items()
         ]