Hi,

I was wondering if someone is aware of a tool which generates
a sequence calculus representation from Ocaml code or vice versa?

Is there any attempt towards this idea?

Kinds regards,

Tumee.