felix.git/test/phase5, branch hotg

felix.git/test/phase5, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-08-03T12:45:30+00:00 Shift contextual binders under exact binders 2026-08-03T12:45:30+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T12:45:30+00:00 urn:sha1:f782224783684216d98151772cb3833f4eb4122f Support contextual exact abbreviations 2026-08-03T12:05:35+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T12:05:35+00:00 urn:sha1:9591cdf9ebaa5a0bd261a3586f161c4139ab7593 Compile exact structure declarations 2026-08-03T08:25:05+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T08:25:05+00:00 urn:sha1:8bd79694585c510346c40df0e8b8196d6f03d529 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 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 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 Resolve source application through apply 2026-08-02T23:51:07+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-02T23:51:03+00:00 urn:sha1:136a788268dbacf9285d2a25ea78fddd75a2318a Check quantified subject semantics 2026-08-02T23:45:19+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-02T23:45:19+00:00 urn:sha1:70d67af799e235f0c2faf3c8a0dc258d07a59617 Compile quantified exact noun subjects 2026-08-02T23:18:24+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-02T23:18:24+00:00 urn:sha1:4fa92d0d955abfc75a5f1fae558edd5f3fd6be2e Advance cache epoch for relation lowering 2026-08-02T22:52:06+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-02T22:52:06+00:00 urn:sha1:c4ee20421f52fdab9c0971c89798c8c0dc07fcf2