pSub/master-thesis

A Language for the Specification and Efficient Implementation of Type Systems

语言：TeX · GitHub 星标：5 · Fork：1

话题：automated-theorem-provers · domain-specific-language · master-thesis · typesystem

在 GitHub 上查看原仓库