| bc_comp.metta | Sep 6, 2024, 1:24:46 PM | 1.92 KiB | |
| bc_comp.metta.answers | Sep 6, 2024, 1:24:46 PM | 252 B | |
| bchain_comp.metta | Sep 6, 2024, 1:24:46 PM | 1.86 KiB | |
| bchain_comp.metta.answers | Sep 6, 2024, 1:24:46 PM | 226 B | |
| bchain.metta | Sep 6, 2024, 1:24:46 PM | 1.86 KiB | |
| bchain.metta.answers | Sep 6, 2024, 1:24:46 PM | 226 B | |
| comma_is_not_special.metta | Sep 6, 2024, 1:24:46 PM | 162 B | |
| comma_is_not_special.metta.answers | Sep 6, 2024, 1:24:46 PM | 139 B | |
| debug_mettalogTestCurried.metta | Sep 6, 2024, 1:24:46 PM | 20.60 KiB | |
| debug_mettalogTestCurried.metta.answers | Sep 6, 2024, 1:24:46 PM | 930 B | |
| mettalogTestCurried.metta | Sep 6, 2024, 1:24:46 PM | 20.44 KiB | |
| mettalogTestCurried.metta.answers | Sep 6, 2024, 1:24:46 PM | 892 B | |
| mettalogTestCurried2.metta | Sep 6, 2024, 1:24:46 PM | 3.48 KiB | |
| mettalogTestCurried2.metta.answers | Sep 6, 2024, 1:24:46 PM | 447 B | |
| succAxiom.metta | Sep 6, 2024, 1:24:46 PM | 38.80 KiB | |
| system_proofTestCurried.metta | Sep 6, 2024, 1:24:46 PM | 20.60 KiB | |
| system_proofTestCurried.metta.answers | Sep 6, 2024, 1:24:46 PM | 0 B | |
| test_if_closed.metta | Sep 6, 2024, 1:24:46 PM | 991 B | |
| test_if_closed.metta.answers | Sep 6, 2024, 1:24:46 PM | 202 B | |
| tmpMatch1.metta | Sep 6, 2024, 1:24:46 PM | 7.99 KiB | |
| tmpMatch1.metta.answers | Sep 6, 2024, 1:24:46 PM | 877 B | |
| tmpMatch2.metta | Sep 6, 2024, 1:24:46 PM | 8.03 KiB | |
| tmpMatch2.metta.answers | Sep 6, 2024, 1:24:46 PM | 174 B | |
|