标签逻辑下的文章 - 贰岛

Mar 16, 2022 + 686 字

Racket 文档 Chapter 1- 6 笔记

refer from Racket doc

Feb 28, 2022 + 1622 字

Z3 解决农夫过河问题

逻辑运算在生活中的运用