A library for communication between Languages. The indexing, analysis ..., comparison of existing abstract models of computation, mathematics, calculi, theorem-provers, compilers, proof assistants, automated program synthesizers, ..., (programming) languages.
This project has been moved to Ether/projects/library