ELPI system

Description

Members

System

Requirements and download

OCaml 4.0 and camlp5 are required!

The source code of ELPI (version discussed in the paper submitted to LPAR 2015) is available for download under the licence LGPL v2.1.

The source code of ELPI (version discussed in the paper submitted to LFMTP 2016) as well as the source code in λProlog for the intuitionistic version of HOL and the README file are available for download under the licence LGPL v2.1.
! TU Wien