1 Star 0 Fork 0

Leo Tian/osui-doc

加入 Gitee
与超过 1200万 开发者一起发现、参与优秀开源项目,私有仓库也完全免费 :)
免费加入
文件
该仓库未声明开源许可证文件(LICENSE),使用请关注具体项目描述及其代码上游依赖。
克隆/下载
react-syntax-highlighter_languages_highlight_mizar.bf7a65bf24e648e545ae.bundle.js 883 Bytes
一键复制 编辑 原始数据 按行查看 历史
tianyanbo 提交于 2020-11-02 16:51 . osui doc
(window.webpackJsonp=window.webpackJsonp||[]).push([[103],{2449:function(module,exports){module.exports=function(hljs){return{keywords:"environ vocabularies notations constructors definitions registrations theorems schemes requirements begin end definition registration cluster existence pred func defpred deffunc theorem proof let take assume then thus hence ex for st holds consider reconsider such that and in provided of as from be being by means equals implies iff redefine define now not or attr is mode suppose per cases set thesis contradiction scheme reserve struct correctness compatibility coherence symmetry assymetry reflexivity irreflexivity connectedness uniqueness commutativity idempotence involutiveness projectivity",contains:[hljs.COMMENT("::","$")]}}}}]);
//# sourceMappingURL=react-syntax-highlighter_languages_highlight_mizar.bf7a65bf24e648e545ae.bundle.js.map
Loading...
马建仓 AI 助手
尝试更多
代码解读
代码找茬
代码优化
JavaScript
1
https://gitee.com/leotiann/osui-doc.git
git@gitee.com:leotiann/osui-doc.git
leotiann
osui-doc
osui-doc
master

搜索帮助