felix.git/library/function.tex, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-08-03T00:38:16+00:00 Simplify exact function proofs 2026-08-03T00:38:16+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T00:38:16+00:00 urn:sha1:e7def5af0b7c5fda86c96d1107c783cee636dfeb Migrate function proofs to exact checking 2026-08-03T00:22:45+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T00:22:45+00:00 urn:sha1:ab730ccf0b6048d1297783310c9b81076f597999 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 Optimize proof step for Vampire 5.0.0 2025-12-11T00:46:38+00:00 adelon 22380201+adelon@users.noreply.github.com 2025-12-11T00:46:38+00:00 urn:sha1:776585fbf36ab73578a7ba64fd9613c088a3aac7 Update function.tex 2025-07-09T07:44:48+00:00 adelon 22380201+adelon@users.noreply.github.com 2025-07-09T07:44:48+00:00 urn:sha1:92efa0fe16152c0f42cb9d05d6ef127955b03a18 Refine `bijection_circ` 2025-07-08T22:24:58+00:00 adelon 22380201+adelon@users.noreply.github.com 2025-07-08T22:24:58+00:00 urn:sha1:dc2acaa4c6b29352e3b8a8a3de54602cf9fe018a Revert function changes 2025-07-08T20:30:42+00:00 adelon 22380201+adelon@users.noreply.github.com 2025-07-08T20:30:42+00:00 urn:sha1:8cda32fda857d9242eb42d4fb5774e6869525476 Update lemma name 2025-07-08T20:16:01+00:00 adelon 22380201+adelon@users.noreply.github.com 2025-07-08T20:16:01+00:00 urn:sha1:da6d425281534407a92ce18a22584905a7847a39 Update function.tex 2025-07-04T00:20:40+00:00 adelon 22380201+adelon@users.noreply.github.com 2025-07-04T00:20:40+00:00 urn:sha1:c5b1246193906f04d34f46e5014e4142afe636dc Initial commit 2024-02-10T01:22:14+00:00 adelon 22380201+adelon@users.noreply.github.com 2024-02-10T01:22:14+00:00 urn:sha1:442d732696ad431b84f6e5c72b6ee785be4fd968