felix.git/source/Test/Unit/Core.hs, 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 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 Confine set induction to outer proofs 2026-08-02T17:46:12+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-02T17:46:12+00:00 urn:sha1:adfa4e9c85d200cd32a53609174cc44646d43f6a Prepare direct inductive kernel proofs 2026-07-28T12:51:24+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-28T12:47:19+00:00 urn:sha1:331d86e4a00bae144b6539edeb1deb9af78c5c7e Check scoped canonical HOL terms 2026-07-28T10:22:53+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-28T10:22:53+00:00 urn:sha1:12d258305d98b5c575f4703847f1f4d6acd4c50e Recheck frozen HOL terms canonically 2026-07-28T09:37:07+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-28T09:37:07+00:00 urn:sha1:a01de89535219b6421eac1faf6394e32b97d0250 Freeze checked HOL terms canonically 2026-07-28T08:55:56+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-28T08:55:56+00:00 urn:sha1:44b7226a6529eaf94c4234a8e27fd7732b95232f