felix.git/library/topology/basis.tex, 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 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 Continue proof and tweak formatting 2025-07-04T00:20:15+00:00 adelon 22380201+adelon@users.noreply.github.com 2025-07-04T00:20:15+00:00 urn:sha1:47c34555bc4fcd5917598d20f1cbdcb639adb985 Abgabe 2024-09-23T01:05:41+00:00 Simon-Kor 52245124+Simon-Kor@users.noreply.github.com 2024-09-23T01:05:41+00:00 urn:sha1:f6b22fd533bd61e9dbcb6374295df321de99b1f2 Improvement for the ATP proof time 2024-06-24T22:02:44+00:00 Simon-Kor 52245124+Simon-Kor@users.noreply.github.com 2024-06-24T22:02:44+00:00 urn:sha1:44d4c1c50ba6e0f12a2f4fdd204b315a15e434db Some notation fixes and lemma for topo basis generats opens was proofed and optimizised 2024-06-04T09:19:21+00:00 Simon-Kor 52245124+Simon-Kor@users.noreply.github.com 2024-06-04T09:19:21+00:00 urn:sha1:050b56baf7a158bff0eb721e03263b121bdc23c3 Merge branch 'main' into main 2024-05-28T15:36:28+00:00 Simon-Kor 52245124+Simon-Kor@users.noreply.github.com 2024-05-28T15:36:28+00:00 urn:sha1:a08c4b2d7a7135029a588df542c18fdf07725075 unexpected behavior of vampire 2024-05-28T15:31:18+00:00 Simon-Kor 52245124+Simon-Kor@users.noreply.github.com 2024-05-28T15:31:18+00:00 urn:sha1:266529fa1271a942920845072efb588c64c4aba3 The task topological behavior is proofed in seconds by just vampire, but with mode casc it takes plenty seconds Update `inters_in_genopens` 2024-05-28T15:27:29+00:00 adelon 22380201+adelon@users.noreply.github.com 2024-05-28T15:27:29+00:00 urn:sha1:3ae13f68d8d572aa62982bde614acf79dff60848 Merge branch 'main' into main 2024-05-28T14:26:19+00:00 Simon-Kor 52245124+Simon-Kor@users.noreply.github.com 2024-05-28T14:26:19+00:00 urn:sha1:a6a83d15a866d7ba40dfc6b733cea14314da3b25