2026年8月3日
不等式
摘要： inequality 阅读全文
posted @ 2026-08-03 20:51 KiharaTouma 阅读(32) 评论(0) 推荐(0)
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 阅读(2620) 评论(0) 推荐(0)