与Amit Hogadi博士,IISER Pune合作的一个学期项目,介绍自动定理证明,A semester project for an introduction to automated theorem proving with Dr Amit Hogadi, IISER Pune, (2023-10-06, Lean, 0KB, 下载0次)