@ComeIntoPower

投稿

在 Coq 中验证数学命题

通过一系列简单的例子与练习题让读者对“有程序辅助的数学证明”有初步的了解。