我的随笔

学一些coq指令
钉子戳戳戳 2021-11-26 22:31 阅读:144 评论:0 推荐:0
如何展开类似于auto，eauto这些集成策略的细节？
钉子戳戳戳 2021-01-06 11:29 阅读:59 评论:0 推荐:0
Coq的强制类型转换 Coercion
钉子戳戳戳 2021-01-06 09:29 阅读:148 评论:0 推荐:0