Deduction as a Service


Source Distribution

Deduction as a Service is the idea to offer deduction over (relatively stable) background theories as a service, primarily to amortise the overhead of parsing and pre-processing, but potentially also to enable strategy parallelism, integrate different deduction systems, and insulate the user from the details of system installation and maintenance. Please read README.server for installation and usage hint.

  1. The Deduction Server is part of the E distribution, but the first experimental version is available here to make it available without waiting for a formal E release.

  2. 1.9-Server0X source (~1.X MB, .tgz)