.
c таджикского с английского

theorem proving

Слово не найдено. Попробуйте переключить язык.