haschu/waylean.git/lib/Wayland/Basic/Duration.lean, branch main [WIP] A River window manager implemented in Lean 4. https://git.haschu.me/haschu/waylean.git/atom/lib/Wayland/Basic/Duration.lean?h=main 2026-03-08T17:26:33Z rework file structure 2026-03-08T17:26:33Z Hannes Schulze haschu0103@outlook.de 2026-03-08T17:26:33Z urn:sha1:c290706fed69d622cfe988e732e1ad01d09e569d