Calling SageMath from an externel
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). ᐧ
On which platform do you want to do this ?