关联标签
14得票2回答
有人尝试使用Z3证明Z3本身吗？
有人尝试过使用Z3来证明Z3吗？ 甚至有可能使用Z3来证明Z3的正确性吗？ 更理论的问题是，是否可能使用工具X本身来证明工具X的正确性？
12得票4回答
cleveref针对共享相同计数器的定理环境失效
我想在同一个（章节）计数器上对所有定理和推论进行编号。但是当我这样做时，cleveref会将它们都命名为“theorem”。下面是一个最小的示例：\documentclass{amsart} \usepackage{amsthm, cleveref} %\crefname{theorem}{...
8得票2回答
如何在bookdown的定理或例子环境中使用R内嵌代码
我使用bookdown生成HTML和PDF文档。如何在定理和示例环境中使用内联R代码的结果？ 以下是我尝试过的方法： --- title: "Test" output: bookdown::pdf_book: toc: false html_document: toc:...