@guoyiz
Yizhou Guo 暂无简介
Implementation of higher-order logic in Python.
Based on Kapur 2019 paper (10.1007/s11424-019-8377-8)
