felix.git/source/Felix/Cache, branch hotgUnnamed repository; edit this file 'description' to name the repository.
https://git.adelon.net/felix.git/atom?h=hotg2026-08-04T21:09:52+00:00Restore exact proof binder and witness forms2026-08-04T21:09:52+00:00adelon22380201+adelon@users.noreply.github.com2026-08-04T21:09:52+00:00urn:sha1:4cadc32949cea9d8eddc88ab6f875690014c674fRestore implicit set construction routing2026-08-04T20:14:44+00:00adelon22380201+adelon@users.noreply.github.com2026-08-04T20:14:44+00:00urn:sha1:97032ee3decc7bed2f2c9e8c32dff99676b658f2Restore fixed equality aliases2026-08-04T19:35:38+00:00adelon22380201+adelon@users.noreply.github.com2026-08-04T19:35:38+00:00urn:sha1:7131eee1a37a8a08f833b33620b2b0dfda32eb4aFix structure carrier membership lowering2026-08-04T16:57:02+00:00adelon22380201+adelon@users.noreply.github.com2026-08-04T16:57:02+00:00urn:sha1:138fe08eeb9a7df74d9fde69f8f37fab4c0409feShift contextual binders under exact binders2026-08-03T12:45:30+00:00adelon22380201+adelon@users.noreply.github.com2026-08-03T12:45:30+00:00urn:sha1:f782224783684216d98151772cb3833f4eb4122fSupport contextual exact abbreviations2026-08-03T12:05:35+00:00adelon22380201+adelon@users.noreply.github.com2026-08-03T12:05:35+00:00urn:sha1:9591cdf9ebaa5a0bd261a3586f161c4139ab7593Persist exact structure descriptors2026-08-03T07:56:38+00:00adelon22380201+adelon@users.noreply.github.com2026-08-03T07:56:38+00:00urn:sha1:10af8c340f1cf03d64e2b9bc4bf27912719db795Support proof-local function graphs2026-08-03T06:55:22+00:00adelon22380201+adelon@users.noreply.github.com2026-08-03T06:55:22+00:00urn:sha1:ddeadab07f76514057f9be7a201cfb97fdfee688Support terminal exact contradiction2026-08-03T01:43:13+00:00adelon22380201+adelon@users.noreply.github.com2026-08-03T01:43:13+00:00urn:sha1:31516192238499b587d831ef676ad5c28d00624aSupport proof-local set definitions2026-08-03T01:14:05+00:00adelon22380201+adelon@users.noreply.github.com2026-08-03T01:13:08+00:00urn:sha1:6350a412cc16e88e4c23d8b2881705fced207468