定理证明器、逻辑和自动形式验证
Theorem Provers, Logic and Automated Formal Verification (2024-03-10, Racket, 0KB, 下载0次)
一种LCF风格的基于策略的定理证明器
An LCF-styled tactic based theorem prover (2024-01-20, Racket, 0KB, 下载0次)
命题逻辑公式的定理证明器。，
A theorem prover for propositional logic formulas., (2019-11-07, Racket, 0KB, 下载0次)
基于支架的旅行规划器支持定位附近兴趣点和识别最短路径的功能，
Racket-based travel planner supporting functions to locate nearby points of interest and identify shortest paths, (2023-08-12, Racket, 0KB, 下载0次)
线性代数表达式的解释器，
An interpreter for linear algebra expressions, (2020-12-17, Racket, 0KB, 下载0次)