jsCoq Addons Central 这是一个以jsCoq附加库作为子模块的引用的元存储库。 这些子模块包含downloadining,编译和打包这些库为jsCoq包(“食谱” .json和.coq-pkg文件)。