FrenzyMath/mathlib_informal_v4.16.0
收藏Hugging Face2025-05-04 更新2025-04-12 收录
下载链接：
https://hf-mirror.com/datasets/FrenzyMath/mathlib_informal_v4.16.0
下载链接
链接失效反馈官方服务：
资源简介：
Mathlib Informalized v4.16.0是一个数学库形式化项目，用于翻译任务，其数据集包含了Lean语言中的符号和模块名称的原始形式。
Mathlib Informalized v4.16.0 is a formalized mathematics library project used for translation tasks, containing the raw forms of symbols and module names in the Lean language.
提供机构：
FrenzyMath
