felix.git/library/formalizations.tex, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-02-13T13:26:13+00:00 Delete formalizations.tex 2026-02-13T13:26:13+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-02-13T13:26:13+00:00 urn:sha1:80594ba9d88e5657ed865793678b6fadeb575ad5 Tokenize more efficiently 2026-02-13T08:28:25+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-02-13T08:28:25+00:00 urn:sha1:9e8e0557d3b27b84f5e64138aed7f6aab9c30e83