洛伦兹中心“机器检验数学”项目Project for "Machine-Checked Mathematics" at the Lorentz Center (2024-02-20, Lean, 0KB, 下载0次)
洛伦兹中心“机器检验数学”项目Project for "Machine-Checked Mathematics" at the Lorentz Center (2024-01-26, Lean, 0KB, 下载0次)