| issues |
| bc_comp.metta | Sep 6, 2024, 8:53:15 PM | 1.96 KiB | |
| bc_comp.metta.answers | Dec 6, 2024, 9:46:38 AM | 235 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 | 226 B | |
| bchain.metta | Sep 6, 2024, 8:53:15 PM | 1.86 KiB | |
| bchain.metta.answers | Dec 6, 2024, 9:46:38 AM | 226 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 8, 2024, 8:25:58 AM | 20.66 KiB | |
| debug_mettalogTestCurried.metta.answers | Dec 6, 2024, 9:46:38 AM | 0 B | |
| mettalogTestCurried.metta | Sep 8, 2024, 8:25:58 AM | 20.50 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 | 440 B | |
| succAxiom.metta | Sep 6, 2024, 8:53:15 PM | 38.80 KiB | |
| system_proofTestCurried.metta | Sep 6, 2024, 8:53:15 PM | 20.58 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 | 1.05 KiB | |
| test_if_closed.metta.answers | Dec 6, 2024, 9:46:38 AM | 216 B | |
| tmpMatch1.metta | Sep 6, 2024, 8:53:15 PM | 7.99 KiB | |
| tmpMatch1.metta.answers | Dec 6, 2024, 9:46:38 AM | 873 B | |
| tmpMatch2.metta | Sep 6, 2024, 8:53:15 PM | 8.03 KiB | |
| tmpMatch2.metta.answers | Dec 6, 2024, 9:46:38 AM | 873 B | |
|