ejgallego/pycoq

Python bindings for the Coq interactive proof assistant

语言：OCaml · GitHub 星标：57 · Fork：4

话题：coq · machine-learning · python · verification

在 GitHub 上查看原仓库