2024年12月14日
Natural Number Game Sol
摘要： https://adam.math.hhu.de/#/g/leanprover-community/nng4 Tutorial World Level 1 / 8 : The rfl tactic rfl Level 2 / 8 : the rw tactic rw[h] rfl Level 3 / 阅读全文
posted @ 2024-12-14 16:40 KiharaTouma 阅读(1234) 评论(0) 推荐(0)