文件列表:

.travis.yml (38, 2017-03-12)
build.sbt (605, 2017-03-12)
notes.txt (355, 2017-03-12)
project (0, 2017-03-12)
project\build.properties (20, 2017-03-12)
project\plugins.sbt (81, 2017-03-12)
src (0, 2017-03-12)
src\main (0, 2017-03-12)
src\main\resources (0, 2017-03-12)
src\main\resources\elea (0, 2017-03-12)
src\main\resources\elea\new-prelude.elea (234, 2017-03-12)
src\main\resources\elea\prelude.elea (5865, 2017-03-12)
src\main\scala (0, 2017-03-12)
src\main\scala\elea (0, 2017-03-12)
src\main\scala\elea\CLI.scala (2281, 2017-03-12)
src\main\scala\elea\Experiments.scala (299, 2017-03-12)
src\main\scala\elea\LispRepresentable.scala (226, 2017-03-12)
src\main\scala\elea\Name.scala (1019, 2017-03-12)
src\main\scala\elea\OldParser.scala (6630, 2017-03-12)
src\main\scala\elea\Parser.scala (6947, 2017-03-12)
src\main\scala\elea\Program.scala (1120, 2017-03-12)
src\main\scala\elea\package.scala (3431, 2017-03-12)
src\main\scala\elea\rewrite (0, 2017-03-12)
src\main\scala\elea\rewrite\Critiquer.scala (1634, 2017-03-12)
src\main\scala\elea\rewrite\Direction.scala (654, 2017-03-12)
src\main\scala\elea\rewrite\Env.scala (1804, 2017-03-12)
src\main\scala\elea\rewrite\Prover.scala (943, 2017-03-12)
src\main\scala\elea\rewrite\Ripple.scala (245, 2017-03-12)
src\main\scala\elea\rewrite\Rippler.scala (2369, 2017-03-12)
src\main\scala\elea\rewrite\Simplifier.scala (856, 2017-03-12)
src\main\scala\elea\rewrite\Supercompiler.scala (8418, 2017-03-12)
src\main\scala\elea\term (0, 2017-03-12)
src\main\scala\elea\term\App.scala (4829, 2017-03-12)
src\main\scala\elea\term\Atom.scala (461, 2017-03-12)
src\main\scala\elea\term\Bot.scala (421, 2017-03-12)
src\main\scala\elea\term\Branch.scala (6096, 2017-03-12)
src\main\scala\elea\term\Case.scala (4890, 2017-03-12)
... ...

# Elea - a supercompiler for theorem provers [](https://travis-ci.org/wsonnex/elea) Currently under development, but almost finished!

近期下载者：

相关文件：

评论：[我要评论] [举报此文件]

收藏者：