felix.git/test/phase5/exact-source-axiom-assumptions.tex, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-08-02T10:38:39+00:00 Generalize exact source axioms 2026-08-02T10:38:39+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-02T10:33:47+00:00 urn:sha1:8c32f6fcabb57e758ce44ae88fbb0b94cfdd5ecc Compile exact source axioms 2026-08-01T21:14:34+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-01T21:14:34+00:00 urn:sha1:c38e41fbf7f51eaaa0140a39bc659cee2ffbfad2