Skip to content
Builds
No builds

Workspace of metta-wam on Built-In Node

DeductionEqual.mettaSep 6, 2024, 1:24:47 PM1.07 KiB
DeductionEqualTest.mettaSep 6, 2024, 1:24:47 PM591 B
DeductionEqualTest.metta.answersSep 6, 2024, 1:24:47 PM1.13 KiB
ImplicationDirectIntroductionEqual.mettaSep 6, 2024, 1:24:47 PM2.23 KiB
ImplicationDirectIntroductionEqualTest.mettaSep 6, 2024, 1:24:47 PM118 B
ImplicationDirectIntroductionEqualTest.metta.answersSep 6, 2024, 1:24:47 PM972 B