项目介绍
The official HOL Standards SDK, implementing the standards found in https://hol.org/docs/standardsAI 根据项目 README 整理,以原文为准
官方 HOL Standards SDK,实现了 hol.org/docs/standards 中的标准
The official HOL Standards SDK, implementing the standards found in https://hol.org/docs/standardsAI 根据项目 README 整理,以原文为准
官方 HOL Standards SDK,实现了 hol.org/docs/standards 中的标准