felix.git/library/relation, branch hotg
Unnamed repository; edit this file 'description' to name the repository.
https://git.adelon.net/felix.git/atom?h=hotg
2026-08-03T11:13:53+00:00
Clarify disjoint equivalence classes proof
2026-08-03T11:13:53+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-03T11:13:53+00:00
urn:sha1:3321d77518932640de17e9dc719e0f1c6f0eb02c
Prove exact reflexive closure
2026-08-03T10:40:09+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-03T10:40:09+00:00
urn:sha1:6e3a32de3c926d5efd058f405f7c3d843b45909f
Migrate equivalence proofs
2026-08-03T10:36:39+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-03T10:36:39+00:00
urn:sha1:54d6529b33671dd8795a97abb0d7de9ea6456883
Stabilize reflexive intersection proof
2026-08-02T23:28:20+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-02T23:28:20+00:00
urn:sha1:e800616c2ee6d7b72f14d578893fb08236c64a1a
Migrate relation uniqueness proofs to exact checking
2026-08-02T23:06:41+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-02T23:06:41+00:00
urn:sha1:5f591920ff3fc844e021cc8a00753a8660975738
Migrate relation property proofs to exact checking
2026-08-02T23:06:27+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-02T23:06:27+00:00
urn:sha1:0e07851607f59fa39bbbda15f99de943e18dd106
Linting and optimization
2025-07-08T19:20:20+00:00
adelon
22380201+adelon@users.noreply.github.com
2025-07-08T19:20:20+00:00
urn:sha1:51fe28bdd9943e359de5835d2737c0fdc8618df7
Update equivalence.tex
2024-06-25T14:52:32+00:00
adelon
22380201+adelon@users.noreply.github.com
2024-06-25T14:52:32+00:00
urn:sha1:868857d2764a26668e32d3e4f9764f728fb162a4
Initial commit
2024-02-10T01:22:14+00:00
adelon
22380201+adelon@users.noreply.github.com
2024-02-10T01:22:14+00:00
urn:sha1:442d732696ad431b84f6e5c72b6ee785be4fd968