CharlyR/VeriTikz
收藏官方服务：
资源简介：
这是一个编程代码相关的数据集，包含代码段、模板解决方案代码、原始模板、解决方案等信息。数据集分为训练集，共有512个示例。
This is a programming code-related dataset containing code snippets, template solution code, original templates, solutions, etc. The dataset is split into a training set with a total of 512 examples.
提供机构：
CharlyR
