我的随笔

在 Windows msys2 下编译 scryer-prolog
chesium 2022-07-25 00:23 阅读:152 评论:0 推荐:0 编辑
迈克·纳哈斯的Coq教程（中文翻译）
chesium 2022-07-20 02:25 阅读:5238 评论:1 推荐:2 编辑
DPLL 算法（求解k-SAT问题）详解（C++实现）
chesium 2022-03-08 20:05 阅读:7460 评论:1 推荐:1 编辑
各个编程语言编译器源码收集
chesium 2022-02-05 11:08 阅读:571 评论:0 推荐:0 编辑
康托展开+逆展开（Cantor expension）详解+优化
chesium 2021-10-26 20:44 阅读:612 评论:0 推荐:1 编辑
在 Windows 10 上安装 Coq 库 Mathematical Components
chesium 2021-10-20 16:18 阅读:243 评论:0 推荐:0 编辑