自动形式化计算π₃(S²)
Autoformalizing the calculation of $π_3(S^2)$
首次发表
浏览论文内容
中文总结 AI 辅助
该研究在agda-unimath中借助Codex自动形式化π₃(S²)的同伦类型论计算，报告了相关研究发现与实验结果
中文摘要 AI 辅助
我们报告在agda-unimath中使用Codex自动形式化π₃(S²)的同伦类型论计算的研究发现与实验结果
英文摘要
We report our findings and the results of our experiment of autoformalizing the homotopy type theoretic computation of $π_3(S^2)$ in agda-unimath using Codex.
