Workspace of mettalog on Built-In Node
DeductionEqual.metta | Dec 6, 2024, 9:46:38 AM | 1.07 KiB | ||
DeductionEqualTest.metta | Dec 6, 2024, 9:46:38 AM | 591 B | ||
DeductionEqualTest.metta.answers | Dec 6, 2024, 9:46:38 AM | 1.13 KiB | ||
ImplicationDirectIntroductionEqual.metta | Dec 6, 2024, 9:46:38 AM | 2.23 KiB | ||
ImplicationDirectIntroductionEqualTest.metta | Dec 6, 2024, 9:46:38 AM | 118 B | ||
ImplicationDirectIntroductionEqualTest.metta.answers | Dec 6, 2024, 9:46:38 AM | 972 B | ||