Idris中直觉命题逻辑的一个定理证明器，具有元编程特性a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features (2018-09-12, Idris, 14KB, 下载0次)