acorrenson/kind2coq

A experimental compiler from Kind (Core) to Coq

语言：OCaml · GitHub 星标：3 · Fork：0

话题：compiler · coq · kind · programming-languages · proof · type-theory

在 GitHub 上查看原仓库