我该如何修复编译错误？

Question

我有以下代码：

\documentclass[13pt]{scrartcl}
\usepackage[english,main=russian]{babel}
\usepackage{amssymb, amsthm, thmtools}


\declaretheoremstyle[
  title=Доказательство,
  bodyfont=\normalfont,
  qed=\blacksquare
]{myproof}
\declaretheorem[style=myproof, numbered=no]{proof}

\begin{document}

\begin{proof}
    this is a simple proof
\end{proof}

\end{document}

此代码基于 thmtools 文档。我可以读取产生的错误，但我不知道可以修复它们的语法。提前致谢

编辑

我添加了以下几行：

\usepackage[T2A]{fontenc}
\usepackage[utf8]{inputenc}

现在我只有 4 个错误：

Answer 1

thmtools 不喜欢重新定义现有的定理。我没有在文档中看到任何关于它的内容（但没有仔细查看），但您可以先取消定义证明：

\documentclass[13pt]{scrartcl}
\usepackage[english,main=russian]{babel}
\usepackage{amssymb, amsthm, thmtools}


\declaretheoremstyle[
  title=Доказательство,
  bodyfont=\normalfont,
  qed=$\blacksquare$ %mathmode
]{myproof}

\let\proof\undefined
\declaretheorem[style=myproof, numbered=no]{proof}

\begin{document}

\begin{proof}
    this is a simple proof
\end{proof}

\end{document}