热度排名 #1613

交互式定理证明入门｜量子对称性暑期学校

20190605 Introduction to Interactive theorem proving, at the OSU Quantum Symmetries summer school

跟着一个小命题看证明助理怎样列出当前目标。留意应用已知定理以后，还需要补上哪几个子目标。

Kim Morrison · 1 串讨论 · 热度 1.723

讨论出处