没有合适的资源?快使用搜索试试~ 我知道了~
elfe:学生互动定理证明
共58个文件
elfe:22个
html:11个
hs:9个
需积分: 9 0 下载量 99 浏览量
2021-05-12
07:12:55
上传
评论
收藏 854KB ZIP 举报
温馨提示
学生互动定理证明 该工具供学生练习编写数学证明。 已经实现了一些用于集合,关系和函数的背景库,因此您可以直接开始编写证明。 首先,最好查看和示例目录。 它是如何工作的? 在内部,数学文本被转换为一阶公式序列。 这种表示意味着某些证明义务,这些义务由自动定理证明者检查。 介绍该技术。 安装 您可以在线尝试Elfe。 为了在本地安装Elfe,首先需要将Settings-example.hs复制到Settings.hs并根据需要进行调整(自动定理证明需要单独安装。您可能希望使用快速)。 然后运行cabal install安装所有依赖项。 然后,Elfe的命令行界面位于dist/build/elfe/elfe ,可执行文件dist/build/elfe-server/elfe-server启动到Web界面的服务器。 为了进行开发,您可能希望以交互方式运行程序。 您可以通过分别执行./e
资源详情
资源评论
资源推荐
收起资源包目录
elfe-master.zip (58个子文件)
elfe-master
.gitignore 37B
library
functions.elfe 1KB
sets.elfe 888B
groups.elfe 0B
geometry.elfe 1KB
relations.elfe 1KB
graphs.elfe 442B
src
Elfe
Parser.hs 18KB
Verifier.hs 2KB
Language.hs 11KB
Preprocessor.hs 990B
Prover.hs 3KB
Main.hs 1KB
.ghci 56B
Elfe.hs 210B
Server.hs 4KB
elfe-server.sh 157B
elfe.sh 356B
examples
Complement of complement of a set.elfe 318B
Symmetric and transitive relations are reflexive.elfe 357B
Distribution of set intersection.elfe 690B
Complement of a union.elfe 602B
Incorrect proof for relations.elfe 295B
Inverse and function itself is identity.elfe 376B
Simple proof.elfe 117B
Injectivity of a function composition.elfe 303B
gupta.elfe 581B
Surjectivity of function composition.elfe 312B
Union of relation and inverse is symmetric.elfe 296B
geo1.elfe 357B
Complement of an inverse relation.elfe 527B
geo1_direct.elfe 741B
Cantors Theorem.elfe 813B
Knaster-Tarski theorem.elfe 2KB
README.md 2KB
web
downloads
thesis.pdf 720KB
images
logo.png 5KB
loading.gif 146KB
templates
examples.html 339B
header.html 1KB
index.html 3KB
training
header.html 1KB
3.html 3KB
0.html 402B
1.html 3KB
5.html 212B
4.html 3KB
2.html 2KB
footer.html 155B
js
scripts.js 6KB
css
skeleton.css 11KB
prover.css 3KB
normalize.css 8KB
style.css 2KB
logs
.gitignore 17B
Settings-example.hs 582B
supervisord.conf 987B
elfe.cabal 2KB
共 58 条
- 1
悦微评剧
- 粉丝: 18
- 资源: 4669
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功
评论0