与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次)