LPCIC/coq-elpi

Rocq plugin embedding Elpi

语言：OCaml · GitHub 星标：197 · Fork：80

话题：coq · extension-language · lambda-prolog · metaprogramming · scripting

在 GitHub 上查看原仓库