META.helm-cic_annotations_cache
META.helm-cic_cache
META.helm-cic_proof_checking
+META.helm-tex_cic_textual_parser
META.helm-cic_textual_parser
META.helm-cic_unification
META.helm-getter
META.helm-mathql
META.helm-mathql_interpreter
+META.helm-mathql_test
META.helm-mquery_generator
META.helm-pxp
META.helm-tactics