我遇到了一个相当奇怪的情况:几个月来我一直愉快地使用 tex studio,一切都很好。今天我打开了一个使用 fitch 样式证明的 .tex 文件,编译后我不断收到各种错误——甚至我之前使用的旧文件也是如此。此外,它没有在我的编译器中显示结果,但它确实在文件夹中生成了一个 pdf 文件。似乎我在尝试使 fitch 证明工作时搞砸了一些东西。请注意,我现在无法编译的相同文件可以在我的另一台笔记本电脑上使用相同的编译器(即 TEXstudio)进行编译。
为了采样,我在这里复制文档开始之前出现的内容:
\documentclass[12pt]{article}
\usepackage[
backend=biber,
style=apa,
citestyle=authoryear]
{biblatex}
\addbibresource{hom.bib}
\usepackage{amssymb}
\usepackage{graphicx}
\graphicspath{ {./images/} }
\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{MnSymbol}
\usepackage{wasysym}
\usepackage{setspace}
\usepackage{xcolor}
\usepackage{color} %May be necessary if you want to color links
\usepackage{hyperref}
\hypersetup{
colorlinks,
citecolor=black,
filecolor=black,
linkcolor=black,
urlcolor=black
}
%\usepackage{amsmath}
%\usepackage{amsthm}
\usepackage{array,amsthm,amssymb,amsmath,enumitem}
\newcounter{rowcount}
\newenvironment{listproof}
{\setcounter{rowcount}{0}%
\begin{proof}\mbox{}\\*
\begin{tabular}[b]{
@{%
\stepcounter{rowcount}%
% \makebox[\dimexpr\leftmargini-\labelsep][r]{(\alph{rowcount})}\hspace{\labelsep}}
\makebox[\leftmargini][r]{(\arabic{rowcount})\hspace{\labelsep}}}
ll@{}
}%
}
{\end{tabular}\end{proof}}
\theoremstyle{definition}
\newtheorem{definition}{Definition}
\theoremstyle{theorem}
\newtheorem{theorem}{Theorem}
\theoremstyle{theorem}
\newtheorem{lemma}{Lemma}
\theoremstyle{theorem}
\newtheorem{proposition}{Proposition}
\theoremstyle{definition}
\newtheorem{remark}{Remark}
\theoremstyle{definition}
\newtheorem{exmp}{Example}
\theoremstyle{definition}
\newtheorem{example}{Example}
\theoremstyle{definition}
\newtheorem{excercise}{Excercise}
\usepackage{mathtools}
\usepackage[title]{appendix}
\usepackage[left=4cm, right=4cm, top=3cm]{geometry}
\newcommand{\lev}{\mathrm{l}}
\newcommand{\ord}{\mathrm{o}}
\newcommand{\proptype}{\langle\rangle}
\newcommand{\indtype}{e}
\newcommand{\q}{‘}
\newcommand{\qq}{“}
免责声明:我对此很陌生——如果能提供简单的英语解释我将不胜感激。
谢谢