felix.git/test/phase5/exact-cases-contradiction.tex, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-08-05T13:24:49+00:00 Confine contradictory status to falsum targets 2026-08-05T13:24:49+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-05T13:24:49+00:00 urn:sha1:2785025113e8092dc8773e294326005a581a2ca6 Restore exact cases and contradiction 2026-08-05T12:58:32+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-05T12:58:32+00:00 urn:sha1:db5e4920b8b1f0fbc08bf78708ee3076ea895b75