holbert:专为教育设计的图形化交互式证明助手
需积分: 9 54 浏览量
2021-03-13
16:53:43
上传
评论
收藏 10.9MB ZIP 举报
holbert:专为教育设计的图形化交互式证明助手 （217个子文件） 
app.cabal 780B CHANGELOG 757B cabal.config 15B typicons.min.css 15KB cmun-concrete.css 1KB cmun-bright.css 1KB cmun-typewriter.css 1KB cmun-serif.css 1KB cmun-sans.css 1KB fonts.css 685B cmun-typewriter-light.css 644B cmun-bright-semibold.css 642B cmun-typewriter-variable.css 640B cmun-serif-slanted.css 624B cmun-sans-demicondensed.css 331B cmun-classical-serif-italic.css 322B cmun-upright-italic.css 314B cmunci.eot 126KB cmunti.eot 126KB cmunbi.eot 121KB cmunobi.eot 116KB cmuntx.eot 113KB cmunoti.eot 113KB cmunit.eot 108KB cmunsl.eot 106KB cmunbl.eot 104KB cmunui.eot 103KB cmunso.eot 101KB cmuntb.eot 98KB typicons.eot 98KB cmunbto.eot 97KB cmunrm.eot 97KB cmunvi.eot 96KB cmunbx.eot 95KB cmuntt.eot 93KB cmunsx.eot 92KB cmunbtl.eot 89KB cmunssdc.eot 86KB cmunorm.eot 86KB cmunobx.eot 85KB cmunvt.eot 77KB cmunbxo.eot 76KB cmunsi.eot 73KB cmunbso.eot 73KB cmunbmo.eot 73KB cmunbbx.eot 65KB cmunss.eot 62KB cmunbsr.eot 61KB cmunbmr.eot 60KB .gitignore 35B index.holbert 22KB Editor.hs 10KB Utils.hs 9KB Rule.hs 7KB Editor.hs 6KB Unification.hs 4KB ProofTree.hs 4KB Prop.hs 4KB Terms.hs 4KB Prop.hs 3KB StringRep.hs 3KB ProofTree.hs 3KB Term.hs 3KB Item.hs 3KB Controller.hs 2KB Paragraph.hs 2KB Item.hs 1KB ImportExport.hs 1KB Rule.hs 936B Main.hs 924B Heading.hs 620B Heading.hs 554B Paragraph.hs 547B DisplayOptions.hs 469B
index.html 9KB example.html 4KB split.min.js 6KB FileSaver.min.js 3KB LICENSE 1KB cabal.project.local 15B Makefile 263B README.md 984B README.org 3KB fonts.scss 648B
typicons.svg 182KB cmunci.svg 50KB cmunbi.svg 48KB cmunti.svg 48KB cmunobi.svg 47KB cmunoti.svg 46KB cmunvi.svg 41KB cmunsl.svg 40KB cmunso.svg 40KB cmunui.svg 40KB cmuntx.svg 40KB cmunit.svg 40KB cmunsx.svg 37KB cmuntb.svg 37KB cmunbto.svg 36KB cmunbl.svg 36KB共 217 条
- 1
- 2
- 3
资源评论
黄文池
- 粉丝: 27
- 资源: 4635
最新资源
- git使用文档(一步一步教你使用Git仓库管理代码)
- 进制转换(通用版).cpp
- linux实践之从DistroWatch排名第三的EndeavourOS转到排名第五的Manjaro工作机迁移
- Discuz模板+资讯博客课程干货+商业版(GBK+UTF)
- 基于Selenium的Java爬虫实战(内含谷歌浏览器Chrom和Chromedriver版本123.0.6292.0)
- RB308A-SOT23-5 单节锂电池保护IC 深圳市可芯电子有限公司.pdf
- Ubuntu下安装JDK
- 基于Selenium的Java爬虫实战(内含谷歌浏览器Chrom和Chromedriver版本123.0.6291.0)
- Android基础之用Eclipse建立工程
- WZLR(2).ipynb
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
