AceProof 3
AceProof, iki dilli dosyalarda çeviri kalite kontrollerini gerçekleştirir. Araç, aşağıdaki sorunların tespit edilmesine yardımcı olan bir dizi özelleştirilebilir ayar ile birlikte gelir:
* Çevrilmemiş segmentler
* Farklı kaynaklar için aynı çeviri içeren...