--- a/CONTRIBUTORS Mon Mar 25 10:16:14 2024 +0100
+++ b/CONTRIBUTORS Mon Mar 25 14:08:25 2024 +0100
@@ -12,6 +12,10 @@
* March 2024: Anthony Bordg, Manuel Eberl, Wenda Li, Larry Paulson
New and more general definition of meromorphicity in HOL-Complex_Analysis
+* Feb/March 2024: Jonas Stahl
+ Automatic translation of HOL functions into corresponding
+ step-counting running-time functions
+
* 2023/2024: Makarius Wenzel and Fabian Huch
More robust and scalable support for distributed build clusters.