gilith/hol

A purely functional higher order logic kernel

语言：Haskell · GitHub 星标：15 · Fork：1

话题：haskell · higher-order-logic · hol · opentheory

在 GitHub 上查看原仓库