felix.git/library/topology, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-08-03T15:02:49+00:00 Keep topological basis authority clean 2026-08-03T15:02:49+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T15:02:49+00:00 urn:sha1:afb766133c8afeb521bd2d29a4e327fbf4886769 Migrate separation spaces to exact checking 2026-08-03T14:58:13+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T14:58:13+00:00 urn:sha1:2022dfa2ab59397f558086ff68556b6b84bf2f94 Migrate topological disconnections to exact checking 2026-08-03T14:53:25+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T14:53:25+00:00 urn:sha1:2ac51f51679c926aa703b97215bea03984beaa01 Migrate topological bases to exact checking 2026-08-03T14:50:36+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T14:50:36+00:00 urn:sha1:f5f0ca3d9c5b48156a290a54893b3d33f11c6412 Migrate topological spaces to exact checking 2026-08-03T14:26:11+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T14:26:11+00:00 urn:sha1:bb3ff9a7bbe2dc660a4cf18a524bb9213f0ac2f1 Migrate preclosure spaces 2026-08-03T13:08:18+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T13:08:18+00:00 urn:sha1:57e0b5d72575a5cfdf09cf79030da008dfd16abf Make handling of local variables stricter 2026-04-12T13:25:03+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-04-12T13:25:03+00:00 urn:sha1:bb4497227eb1ab060311baf0664865979655e03c Integrate chunker and import gatherer into lexer 2025-11-29T14:51:18+00:00 adelon 22380201+adelon@users.noreply.github.com 2025-11-29T14:51:18+00:00 urn:sha1:7691d824e1863b57b9d6509ffd06b86ca656c244 Drops dependency on `regex-applicative-text`. Update errors and cull formalizations 2025-11-27T18:44:07+00:00 adelon 22380201+adelon@users.noreply.github.com 2025-11-27T18:44:07+00:00 urn:sha1:aa760e1989ccc2c7e45b6a3f111e5d5d3bc713b3 Update urysohntwo.tex 2025-08-23T14:55:53+00:00 adelon 22380201+adelon@users.noreply.github.com 2025-08-23T14:55:53+00:00 urn:sha1:9fed13c49c6fa32723ce5158b002029616860075