felix.git/library/everything.tex, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-08-03T16:05:35+00:00 Activate the typed aggregate library 2026-08-03T16:05:35+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T16:05:35+00:00 urn:sha1:297c8c25dd29d63fb2b0ef719049eaa8200dc9e2 Migrate meet semilattices 2026-08-03T13:05:19+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T13:05:19+00:00 urn:sha1:3c4226778dab90ec2b9067dad018aa056d42943e Migrate loops to exact checking 2026-08-03T12:26:39+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T12:26:39+00:00 urn:sha1:0bad0f480c3e800e5bcd93b9976098aad1dde803 Authorize ground reflexivity through kernel replay 2026-07-28T09:58:07+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-28T09:58:07+00:00 urn:sha1:8e40759f2d21bf816cc8441e9d299d6e2350d0c5 The first typed fact family is deliberately dependency-free. Its rows remain outside the legacy fact registry, so unmigrated declarations cannot consume or reauthorize them. Update errors and cull formalizations 2025-11-27T18:44:07+00:00 adelon 22380201+adelon@users.noreply.github.com 2025-11-27T18:44:07+00:00 urn:sha1:aa760e1989ccc2c7e45b6a3f111e5d5d3bc713b3 Update filename 2025-07-04T00:04:45+00:00 adelon 22380201+adelon@users.noreply.github.com 2025-07-04T00:04:45+00:00 urn:sha1:810947fd09d2cd9f57a5384b3ee1455fe1e44f3a working commit 2024-08-27T18:20:46+00:00 Simon-Kor 52245124+Simon-Kor@users.noreply.github.com 2024-08-27T18:20:46+00:00 urn:sha1:b8cc467735054bb3c38bf37b5e29877ba756c4b5 Further Formalisation on numbers 2024-07-21T10:26:20+00:00 Simon-Kor 52245124+Simon-Kor@users.noreply.github.com 2024-07-21T10:26:20+00:00 urn:sha1:cbac8ca4a5bf8ff38af3e512956ea1e468965194 Working at the numbers.tex 2024-06-26T11:56:47+00:00 Simon-Kor 52245124+Simon-Kor@users.noreply.github.com 2024-06-26T11:56:47+00:00 urn:sha1:0c82b10cd3ac1787838038b4b443f79cbb1612d9 definition of equivalence_from_partition can proof false in everything.tex 2024-06-24T22:00:38+00:00 Simon-Kor 52245124+Simon-Kor@users.noreply.github.com 2024-06-24T22:00:38+00:00 urn:sha1:9a89974f293aa53451cad42f07e54e5bca14af4f