Yes. But these are still plans.
But it is certainly possible to write your own program that
generates specifications in whatever language from TCM files.
The TCM file format is specified in appendix B.
Frank Dehne,Faculty of Mathematics and Computer Science, Vrije Universiteit Amsterdam 11/17/1997
