% Russian Language Bindings for the sTeX sproof package % Copyright (c) 2019 Michael Kohlhase, all rights reserved % this file is released under the % LaTeX Project Public License (LPPL) % % The original of this file is in the public repository at % http://github.com/sLaTeX/sTeX/ \g@addto@macro\captionsrussian{ \def\spf@proofsketch@kw{Набросок доказательства} \def\spf@proof@kw{Доказательство} \def\spf@step@kw{Шаг} }