felix.git/test/phase3/typed-unsupported.tex, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-08-02T16:42:54+00:00 Rewrite protected set and naturals closure 2026-08-02T16:42:54+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-02T16:42:54+00:00 urn:sha1:5f64079c4ec671de04971f38907805e9de514537 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 Route complete graphs through one checker 2026-07-31T16:44:49+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-31T16:44:49+00:00 urn:sha1:b7d4708624266ffbe9a433a04ec37c513e4556b1