| bc_comp.metta | Sep 6, 2024, 8:53:15 PM | 2.37 KiB | |
| bc_comp.metta.answers | Dec 6, 2024, 9:46:38 AM | 390 B | |
| bc_impl.metta | Sep 6, 2024, 8:53:15 PM | 3.13 KiB | |
| bc_impl.metta.answers | Dec 6, 2024, 9:46:38 AM | 495 B | |
| bchain_comp.metta | Sep 6, 2024, 8:53:15 PM | 1.86 KiB | |
| bchain_comp.metta.answers | Dec 6, 2024, 9:46:38 AM | 225 B | |
| bchain.metta | Sep 6, 2024, 8:53:15 PM | 1.86 KiB | |
| bchain.metta.answers | Dec 6, 2024, 9:46:38 AM | 225 B | |
| comma_is_not_special.metta | Sep 6, 2024, 8:53:15 PM | 162 B | |
| comma_is_not_special.metta.answers | Dec 6, 2024, 9:46:38 AM | 138 B | |
| debug_mettalogTestCurried.metta | Sep 6, 2024, 8:53:15 PM | 20.60 KiB | |
| debug_mettalogTestCurried.metta.answers | Dec 6, 2024, 9:46:38 AM | 1021 B | |
| impl_mettalogTestCurried.metta | Sep 6, 2024, 8:53:15 PM | 20.60 KiB | |
| impl_mettalogTestCurried.metta.answers | Dec 6, 2024, 9:46:38 AM | 1021 B | |
| mettalogTestCurried.metta | Sep 6, 2024, 8:53:15 PM | 20.44 KiB | |
| mettalogTestCurried.metta.answers | Dec 6, 2024, 9:46:38 AM | 0 B | |
| mettalogTestCurried2.metta | Sep 6, 2024, 8:53:15 PM | 3.48 KiB | |
| mettalogTestCurried2.metta.answers | Dec 6, 2024, 9:46:38 AM | 449 B | |
| succAxiom.metta | Sep 6, 2024, 8:53:15 PM | 38.80 KiB | |
| system_proofTestCurried.metta | Sep 6, 2024, 8:53:15 PM | 20.60 KiB | |
| system_proofTestCurried.metta.answers | Dec 6, 2024, 9:46:38 AM | 0 B | |
| test_if_closed.metta | Sep 6, 2024, 8:53:15 PM | 991 B | |
| test_if_closed.metta.answers | Dec 6, 2024, 9:46:38 AM | 207 B | |
| tmpMatch1.metta | Sep 6, 2024, 8:53:15 PM | 7.99 KiB | |
| tmpMatch1.metta.answers | Dec 6, 2024, 9:46:38 AM | 815 B | |
| tmpMatch2.metta | Sep 6, 2024, 8:53:15 PM | 8.03 KiB | |
| tmpMatch2.metta.answers | Dec 6, 2024, 9:46:38 AM | 810 B | |
|