FLoP定理证明器的公共存储库，
Public repository of the FLoP theorem prover, (2022-09-07, OpenEdge ABL, 0KB, 下载0次)
基于SAT的直觉命题逻辑高效定理证明器，
Efficient SAT-based theorem prover for Intuituionistic Propositional Logic, (2022-07-22, OpenEdge ABL, 0KB, 下载0次)
直觉命题逻辑的自动定理证明器，
An automated theorem prover for intuitionistic propostional logic, (2020-09-21, OpenEdge ABL, 0KB, 下载0次)