felix.git, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-08-03T06:55:22+00:00 Support proof-local function graphs 2026-08-03T06:55:22+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T06:55:22+00:00 urn:sha1:ddeadab07f76514057f9be7a201cfb97fdfee688 Confine indirect Vampire discharge 2026-08-03T02:15:09+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T02:15:09+00:00 urn:sha1:90b74260f3919ec79ab8374a8fc6718f98887ea7 Record Cantor and fixpoint migration 2026-08-03T01:58:35+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T01:58:35+00:00 urn:sha1:c2ba1e6bb8efa36fd39c2d6a48331fd3af75fdde Activate typed Cantor and fixpoint modules 2026-08-03T01:57:22+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T01:57:22+00:00 urn:sha1:d48eebf7d5e97de25f8f2166f44c102425787d4b Migrate Cantor and fixpoint proofs 2026-08-03T01:56:16+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T01:56:16+00:00 urn:sha1:4f662a220564ff6ca222359dcf61490da150243e Support terminal exact contradiction 2026-08-03T01:43:13+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T01:43:13+00:00 urn:sha1:31516192238499b587d831ef676ad5c28d00624a Check proof-local separation specialization 2026-08-03T01:43:02+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T01:43:02+00:00 urn:sha1:59a85f5f9e2150afc0b4db3eaa5177402ca5ddb5 Support proof-local set definitions 2026-08-03T01:14:05+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T01:13:08+00:00 urn:sha1:6350a412cc16e88e4c23d8b2881705fced207468 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 Simplify exact product proofs 2026-08-03T00:38:11+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T00:38:11+00:00 urn:sha1:3084be3f6c8c7a2951339cf83e6aefdce23032e6