free-theorems
需积分: 9 107 浏览量
2021-04-29
05:32:00
上传
评论
收藏 106KB ZIP 举报
free-theorems-master.zip （53个子文件） 
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 Paths.hs 507B LogRequests.hs 1005B Pages.hs 9KB our_server_config Paths.hs 738B 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 Runtests.hs 524B FrontendCheckLocalTests.hs 12KB FrontendTypeExpressionsTests.hs 9KB Arbitraries.hs 6KB ParserPrettyPrinterTests.hs 4KB Language Haskell FreeTheorems PrettyIntermediate.hs 3KB BasicSyntax.hs 9KB PrettyTheorems.hs 16KB Syntax.hs 1KB ValidSyntax.hs 1KB Frontend TypeExpressions.hs 11KB Error.hs 3KB CheckLocal.hs 14KB CheckGlobal.hs 18KB Unfold.hs 22KB LanguageSubsets.hs 2KB PrettyTypes.hs 9KB Parser Haskell98.hs 16KB Hsx.hs 22KB Intermediate.hs 19KB NameStores.hs 2KB Theorems.hs 8KB PrettyBase.hs 1KB Frontend.hs 4KB Theorems Simplify.hs 5KB FreeTheorems.hs 7KB Tests.hs 694B InterpretationTests.hs 2KB FrontendOtherTests.hs 2KB FrontendCheckGlobalTests.hs 5KB README 1KB runtests 61B资源评论
