Skip to content
Builds
No builds

Workspace of mettalog on Built-In Node

bc_comp.mettaSep 6, 2024, 8:53:15 PM2.37 KiB
bc_comp.metta.answersDec 6, 2024, 9:46:38 AM390 B
bc_impl.mettaSep 6, 2024, 8:53:15 PM3.13 KiB
bc_impl.metta.answersDec 6, 2024, 9:46:38 AM495 B
bchain_comp.mettaSep 6, 2024, 8:53:15 PM1.86 KiB
bchain_comp.metta.answersDec 6, 2024, 9:46:38 AM225 B
bchain.mettaSep 6, 2024, 8:53:15 PM1.86 KiB
bchain.metta.answersDec 6, 2024, 9:46:38 AM225 B
comma_is_not_special.mettaSep 6, 2024, 8:53:15 PM162 B
comma_is_not_special.metta.answersDec 6, 2024, 9:46:38 AM138 B
debug_mettalogTestCurried.mettaSep 6, 2024, 8:53:15 PM20.60 KiB
debug_mettalogTestCurried.metta.answersDec 6, 2024, 9:46:38 AM1021 B
impl_mettalogTestCurried.mettaSep 6, 2024, 8:53:15 PM20.60 KiB
impl_mettalogTestCurried.metta.answersDec 6, 2024, 9:46:38 AM1021 B
mettalogTestCurried.mettaSep 6, 2024, 8:53:15 PM20.44 KiB
mettalogTestCurried.metta.answersDec 6, 2024, 9:46:38 AM0 B
mettalogTestCurried2.mettaSep 6, 2024, 8:53:15 PM3.48 KiB
mettalogTestCurried2.metta.answersDec 6, 2024, 9:46:38 AM449 B
succAxiom.mettaSep 6, 2024, 8:53:15 PM38.80 KiB
system_proofTestCurried.mettaSep 6, 2024, 8:53:15 PM20.60 KiB
system_proofTestCurried.metta.answersDec 6, 2024, 9:46:38 AM0 B
test_if_closed.mettaSep 6, 2024, 8:53:15 PM991 B
test_if_closed.metta.answersDec 6, 2024, 9:46:38 AM207 B
tmpMatch1.mettaSep 6, 2024, 8:53:15 PM7.99 KiB
tmpMatch1.metta.answersDec 6, 2024, 9:46:38 AM815 B
tmpMatch2.mettaSep 6, 2024, 8:53:15 PM8.03 KiB
tmpMatch2.metta.answersDec 6, 2024, 9:46:38 AM810 B