注册实用程序与Hedgehog生成器合作,
registry utilities to work with Hedgehog generators, (2022-11-24, Haskell, 0KB, 下载0次)
用于在Coq中生成局部无名定义和证明的工具,与Ott合作,
Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott, (2023-04-27, Haskell, 0KB, 下载0次)