Parsing the Rubi rules to Metatheory.jl rules using MathLink.jl.
So far only rules of Int[f,x] :=
are parsed. No other functions defined by Rubi are being parsed. Therefore most of the rules don't work when applied, but they can at least be evaluated.
Eventually this might end up in a working integrate
function...