| bc_comp.metta | Dec 6, 2024, 9:46:38 AM | 1.92 KiB | |
| bc_comp.metta.answers | Dec 6, 2024, 9:46:38 AM | 252 B | |
| bchain_comp.metta | Dec 6, 2024, 9:46:38 AM | 1.86 KiB | |
| bchain_comp.metta.answers | Dec 6, 2024, 9:46:38 AM | 226 B | |
| bchain.metta | Dec 6, 2024, 9:46:38 AM | 1.86 KiB | |
| bchain.metta.answers | Dec 6, 2024, 9:46:38 AM | 226 B | |
| comma_is_not_special.metta | Dec 6, 2024, 9:46:38 AM | 162 B | |
| comma_is_not_special.metta.answers | Dec 6, 2024, 9:46:38 AM | 139 B | |
| debug_mettalogTestCurried.metta | Dec 6, 2024, 9:46:38 AM | 20.61 KiB | |
| debug_mettalogTestCurried.metta.answers | Dec 6, 2024, 9:46:38 AM | 1.00 KiB | |
| mettalogTestCurried.metta | Dec 6, 2024, 9:46:38 AM | 20.44 KiB | |
| mettalogTestCurried.metta.answers | Dec 6, 2024, 9:46:38 AM | 892 B | |
| mettalogTestCurried2.metta | Dec 6, 2024, 9:46:38 AM | 3.48 KiB | |
| mettalogTestCurried2.metta.answers | Dec 6, 2024, 9:46:38 AM | 447 B | |
| succAxiom.metta | Dec 6, 2024, 9:46:38 AM | 38.80 KiB | |
| system_proofTestCurried.metta | Dec 6, 2024, 9:46:38 AM | 20.62 KiB | |
| system_proofTestCurried.metta.answers | Dec 6, 2024, 9:46:38 AM | 0 B | |
| test_if_closed.metta | Dec 6, 2024, 9:46:38 AM | 1.14 KiB | |
| test_if_closed.metta.answers | Dec 6, 2024, 9:46:38 AM | 174 B | |
| tmpMatch1.metta | Dec 6, 2024, 9:46:38 AM | 7.99 KiB | |
| tmpMatch1.metta.answers | Dec 6, 2024, 9:46:38 AM | 877 B | |
| tmpMatch2.metta | Dec 6, 2024, 9:46:38 AM | 8.03 KiB | |
| tmpMatch2.metta.answers | Dec 6, 2024, 9:46:38 AM | 174 B | |
|