uds-psl/autosubst2

Official repository of the Autosubst 2 project.

语言：Haskell · GitHub 星标：30 · Fork：5

话题：coq · formalization · metatheory-language

在 GitHub 上查看原仓库