smm-webui:SMM的Web UI

【文件属性】：
文件名称：smm-webui:SMM的Web UI
文件大小：67KB
文件格式：ZIP
更新时间：2021-05-22 18:54:35
JavaScript Smm-Webui 建立在smm库上的Metamath数据库可视化工具。 有关活动实例，请参见 。 先决条件 您需要在计算机上正确安装以下物品。 （带有NPM） 安装 git clone 此存储库 切换到新目录 git submodule update --init npm install bower install 运行/开发 ember server 访问您的应用程序，为 。 代码生成器 利用许多生成器生成代码，尝试使用ember help generate更多详细信息 运行测试 ember test ember test --server 建造 ember build （发展） ember build --environment production （生产） 部署中 ember divshot push 进一步阅读/有用的链接 emb