emarzion/SystemT

An interpreter for Gödel's System T

语言：Haskell · GitHub 星标：13 · Fork：0

话题：logic · mathematical-logic · mathematics

在 GitHub 上查看原仓库