timer as an interface#20

c-cube wants to merge 1 commit intomainimandra-ai/imandrakit:mainfrom

simon/timer-as-interface-2025-09-12imandra-ai/imandrakit:simon/timer-as-interface-2025-09-12Copy head branch name to clipboard