| a1_symbols.metta | Dec 6, 2024, 9:49:22 AM | 2.38 KiB | |
| a2_opencoggy.metta | Dec 6, 2024, 9:49:22 AM | 915 B | |
| a2_opencoggy.metta.answers | Dec 6, 2024, 9:49:22 AM | 138 B | |
| a3_twoside.metta | Dec 6, 2024, 9:49:22 AM | 1.57 KiB | |
| a3_twoside.metta.answers | Dec 6, 2024, 9:49:22 AM | 153 B | |
| b0_chaining_prelim.metta | Dec 6, 2024, 9:49:22 AM | 1.39 KiB | |
| b0_chaining_prelim.metta.answers | Dec 6, 2024, 9:49:22 AM | 159 B | |
| b1_equal_chain.metta | Dec 6, 2024, 9:49:22 AM | 2.39 KiB | |
| b1_equal_chain.metta.answers | Dec 6, 2024, 9:49:22 AM | 163 B | |
| b2_backchain.metta | Dec 6, 2024, 9:49:22 AM | 2.87 KiB | |
| b2_backchain.metta.answers | Dec 6, 2024, 9:49:22 AM | 159 B | |
| b3_direct.metta | Dec 6, 2024, 9:49:22 AM | 1.58 KiB | |
| b3_direct.metta.answers | Dec 6, 2024, 9:49:22 AM | 149 B | |
| b4_nondeterm.metta | Dec 6, 2024, 9:49:22 AM | 4.46 KiB | |
| b4_nondeterm.metta.answers | Dec 6, 2024, 9:49:22 AM | 189 B | |
| b5_types_prelim.metta | Dec 6, 2024, 9:49:22 AM | 8.17 KiB | |
| b5_types_prelim.metta.answers | Dec 6, 2024, 9:49:22 AM | 259 B | |
| c1_grounded_basic.metta | Dec 6, 2024, 9:49:22 AM | 5.29 KiB | |
| c1_grounded_basic.metta.answers | Dec 6, 2024, 9:49:22 AM | 526 B | |
| c2_spaces_kb.metta | Dec 6, 2024, 9:49:22 AM | 264 B | |
| c2_spaces.metta | Dec 6, 2024, 9:49:22 AM | 1.77 KiB | |
| c2_spaces.metta.answers | Dec 6, 2024, 9:49:22 AM | 168 B | |
| c3_pln_stv.metta | Dec 6, 2024, 9:49:22 AM | 2.79 KiB | |
| c3_pln_stv.metta.answers | Dec 6, 2024, 9:49:22 AM | 527 B | |
| d1_gadt.metta | Dec 6, 2024, 9:49:22 AM | 2.41 KiB | |
| d1_gadt.metta.answers | Dec 6, 2024, 9:49:22 AM | 204 B | |
| d2_higherfunc.metta | Dec 6, 2024, 9:49:22 AM | 7.04 KiB | |
| d2_higherfunc.metta.answers | Dec 6, 2024, 9:49:22 AM | 268 B | |
| d3_deptypes.metta | Dec 6, 2024, 9:49:22 AM | 2.27 KiB | |
| d3_deptypes.metta.answers | Dec 6, 2024, 9:49:22 AM | 168 B | |
| d4_type_prop.metta | Dec 6, 2024, 9:49:22 AM | 5.43 KiB | |
| d4_type_prop.metta.answers | Dec 6, 2024, 9:49:22 AM | 224 B | |
| d5_auto_types.metta | Dec 6, 2024, 9:49:22 AM | 2.45 KiB | |
| d5_auto_types.metta.answers | Dec 6, 2024, 9:49:22 AM | 169 B | |
| e1_kb_write.metta | Dec 6, 2024, 9:49:22 AM | 895 B | |
| e1_kb_write.metta.answers | Dec 6, 2024, 9:49:22 AM | 148 B | |
| e2_states.metta | Dec 6, 2024, 9:49:22 AM | 3.29 KiB | |
| e2_states.metta.answers | Dec 6, 2024, 9:49:22 AM | 198 B | |
| e3_match_states.metta | Dec 6, 2024, 9:49:22 AM | 2.33 KiB | |
| e3_match_states.metta.answers | Dec 6, 2024, 9:49:22 AM | 526 B | |
| f1_imports.metta | Dec 6, 2024, 9:49:22 AM | 4.99 KiB | |
| f1_imports.metta.answers | Dec 6, 2024, 9:49:22 AM | 526 B | |
| f1_moduleA.metta | Dec 6, 2024, 9:49:22 AM | 621 B | |
| f1_moduleA.metta.answers | Dec 6, 2024, 9:49:22 AM | 143 B | |
| f1_moduleB.metta | Dec 6, 2024, 9:49:22 AM | 282 B | |
| f1_moduleC.metta | Dec 6, 2024, 9:49:22 AM | 292 B | |
| g1_docs.metta | Dec 6, 2024, 9:49:22 AM | 3.71 KiB | |
|