文件名称：free-theorems
文件大小：106KB
文件格式：ZIP
更新时间：2024-05-18 23:18:40
Haskell
*定理 该库的原始代码由Sascha Boehme于2007年在德累斯顿工业大学开发，是其毕业论文的一部分。 2016年，托马斯·罗索（Thomas Rossow）在基尔大学（University of Kiel）的硕士论文中扩展了该库，使其支持类型构造函数类。 该库可以在目录free-theorems ，而free-theorems-webui包含基于CGI的web-UI。 请注意，这个项目是非常实验性的，但是您仍然可以尝试。 如果您发现错误，请随时报告。 我也很乐意合并有关错误或其他功能的请求请求。
【文件预览】：
free-theorems-master
----README.md(711B)
----free-theorems-webui()
--------ui-tweaks.js(863B)
--------Setup.hs(46B)
--------FTTools.hs(4KB)
--------BeautifyTeXOutput.hs(1KB)
--------KnownDeclarations.hs(100KB)
--------default_config()
--------LogRequests.hs(1005B)
--------Pages.hs(9KB)
--------our_server_config()
--------Main.hs(7KB)
--------GeneratePDF.hs(4KB)
--------style.css(1KB)
--------lambdaTeX.tex(45KB)
--------free-theorems-webui.cabal(2KB)
--------runLocalServer.py(1KB)
--------TypesetAsImage.hs(2KB)
--------RunLocalServer.hs(321B)
----free-theorems()
--------Setup.lhs(78B)
--------LICENSE(293B)
--------free-theorems.cabal(3KB)
--------src()
--------README(1KB)
--------runtests(61B)