Workspace of mettalog on Built-In Node
DeductionEqual.metta | Dec 6, 2024, 9:49:23 AM | 1.07 KiB | ||
DeductionEqualTest.metta | Dec 6, 2024, 9:49:23 AM | 602 B | ||
DeductionEqualTest.metta.answers | Dec 6, 2024, 9:46:38 AM | 694 B | ||
ImplicationDirectIntroductionEqual.metta | Dec 6, 2024, 9:49:23 AM | 2.22 KiB | ||
ImplicationDirectIntroductionEqualTest.metta | Dec 6, 2024, 9:49:23 AM | 139 B | ||
ImplicationDirectIntroductionEqualTest.metta.answers | Dec 6, 2024, 9:46:38 AM | 377 B | ||