我对 Latex、Mathjax 或 Github 一无所知，除了它们存在并以某种方式结合起来阻止我在此页面上看到我需要的内容：https://github.com/psibi/how-to-prove/blob/master/chapter%203/section3.2.tex。我需要做什么才能读清楚这个？
答案1
你可以很容易地使用以下方法编译它此工具。
另一个选择是复制文本并将其粘贴到 sharelatex、overleaf 或任何其他 latex 编辑器中并进行编译
如何阅读本页的文字？（见正文）