Default branch

dev 3c5d7111bc · Merge branch 'fix-pnf' into dev · Updated 2025-02-09 12:42:40 +01:00

ZIP  TAR.GZ

Branches

topic-morphism-base 19e29759d2 · rewrite enum_morphisms & find_morphism_path · Updated 2025-02-15 18:39:48 +01:00    senvas	0 22	Compare	ZIP  TAR.GZ
topic-unification b502b62479 · unification: reject non-identity loops & add test cases · Updated 2025-02-15 18:35:38 +01:00    senvas	0 4	Compare	ZIP  TAR.GZ
topic-sugar-wip 71a8f4e06b · wip sugar · Updated 2025-02-09 12:37:11 +01:00    senvas	9 3	Compare	ZIP  TAR.GZ
topic-semantic-subtype 3b85bd7621 · add find_semantic_subtype_matches() as potential alternative to is_semantic_subtype_of() · Updated 2024-08-05 00:11:58 +02:00    senvas	6 1	Compare	ZIP  TAR.GZ
topic-marco 5b45f164fb · macro wip · Updated 2024-02-27 03:37:09 +01:00    senvas	9 1	Compare	ZIP  TAR.GZ