open-axiom repository from github
V1 := DirectProduct(3+4,Integer) V2 := DirectProduct(7,Integer) V1 = V2 %::Boolean (Integer=Float)@Boolean
