Revision history [back]

We want to link Rodin (prover of Event-B writing in java) to SageMath software using the notion of Eclipse plugins. So we wonder if there is a method that allows us to call SageMath predifined functions from an outside environment (Rodin for example). ᐧ