Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-08-04T16:15:38+00:00 2026-08-04T16:15:38+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-04T16:15:38+00:00 urn:sha1:7a6e661bf3636ac3a8bbe912309f8d93306cd5ec 2026-04-13T20:50:05+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-04-13T20:50:05+00:00 urn:sha1:308afa734be012233673821deeeb9d440cc82dcb 2026-03-20T22:04:50+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-03-20T22:04:50+00:00 urn:sha1:8dc9cea108dd5641df3f44a501fe54bb5981d2ad 2026-03-06T23:42:27+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-03-06T23:42:27+00:00 urn:sha1:4dbb228ecde29220b0f337f05d25c7dbd9ed34aa 2026-02-12T21:27:44+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-02-12T21:27:44+00:00 urn:sha1:8738efd1d59b7cfbe357ebfde90f62a656d06522 2025-11-28T00:29:18+00:00 adelon 22380201+adelon@users.noreply.github.com 2025-11-28T00:29:18+00:00 urn:sha1:1ba5ddf3dd858d752d8bead74d57f6bd5694bfdc 2024-06-26T13:24:39+00:00 Simon-Kor 52245124+Simon-Kor@users.noreply.github.com 2024-06-26T13:24:39+00:00 urn:sha1:18c79bcb98fb376f15b2b3e00972530df61b26a9 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 2024-05-28T13:33:45+00:00 Simon-Kor 52245124+Simon-Kor@users.noreply.github.com 2024-05-28T13:33:45+00:00 urn:sha1:ecfb1a66f2159e078199e54edf8a80004c28195a 2024-03-31T16:57:17+00:00 Simon-Kor 52245124+Simon-Kor@users.noreply.github.com 2024-03-31T16:57:17+00:00 urn:sha1:9abb88060e5bb6405e603dcbe499794e3e181040 In File test.tex line 51 could not be proven, error massage is in the new file error.txt