felix.git/test/phase5/exact-proof-parity-invalid-fix.tex, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-08-04T21:09:52+00:00 Restore exact proof binder and witness forms 2026-08-04T21:09:52+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-04T21:09:52+00:00 urn:sha1:4cadc32949cea9d8eddc88ab6f875690014c674f