Dimostrazione automatica di teoremi - Altre lingue