GitHub repository: KiJeong-Lim/PlanHol
Primary language: Haskell
Created: 2023-06-28T19:35:41Z
Description: a Programming LANguage with Higher-Order Logic