plclub/lngen

Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott

语言：Haskell · GitHub 星标：33 · Fork：9

在 GitHub 上查看原仓库