Skip to content
[Jenkins]Jenkins
log in
Builds
No builds

Workspace of mettalog on Built-In Node

mettalog / tests / extended_compat / hyperon-pln / metta / common / formula /
DeductionFormula.mettaDec 6, 2024, 9:49:23 AM2.00 KiB
DeductionFormulaTest.mettaDec 6, 2024, 9:49:23 AM628 B
DeductionFormulaTest.metta.answersDec 6, 2024, 9:46:38 AM1.00 KiB
ImplicationDirectIntroductionFormula.mettaDec 6, 2024, 9:46:38 AM849 B
ModusPonensFormula.mettaDec 6, 2024, 9:46:38 AM392 B