gallais
2019-07-04 16:56
最好的选择是使用该catchfilebetweentags软件包：给定两个文件IsabelleCode.tex，AgdaCode.tex并由每种语言的各自LaTeX后端生成，您可以使用适当的指令来捕获任一文件中开始标记%<*TAGNAME>和结束标记之间的代码，%</TAGNAME>例如：
\ExecuteMetaData[IsabelleCode.tex]{TAGNAME}
\ExecuteMetaData[AgdaCode.tex]{TAGNAME}
热门帖子
相关问题
热门github
1
2
4
The Python Risk Identification Tool for generative AI (PyRIT) is an open access automation framework to empower security professionals and machine learning engineers to proactively find risks in their generative AI systems.
(翻译：用于生成式 AI 的 Python 风险识别工具 (PyRIT) 是一个开放式访问自动化框架，使安全专业人员和机器学习工程师能够主动发现其生成式 AI 系统中的风险。)
5
7
8
9
Mamba is a new state space model architecture showing promising performance on information-dense data such as language modeling, where previous subquadratic models fall short of Transformers. It is based on the line of progress on structured state space models, with an efficient hardware-aware design and implementation in the spirit of FlashAttention.
(翻译：Mamba 是一种新的状态空间模型架构，在信息密集型数据（例如语言建模）上显示出良好的性能，而之前的二次模型在 Transformers 方面存在不足。它基于结构化状态空间模型的进展，并本着FlashAttention的精神进行高效的硬件感知设计和实现。)
10
11
13
每次编译乳胶文件时，此软件包都会编译agda / isabelle源代码吗？
不，它对Agda / Isabelle一无所知。当源Isabelle / Agda修改后，您必须编写一个明智的Makefile来组织依赖关系并重建.tex文件。