-
|
Can CoqGym and it's data set be used with PyCoq? |
Beta Was this translation helpful? Give feedback.
Answered by
yangky11
Feb 25, 2022
Replies: 1 comment
-
|
PyCoq is pretty new, and I'm not familiar with it. It looks like a Python wrapper of SerAPI. CoqGym has its own customized wrapper of SerAPI (serapi.py), though PyCoq should be more comprehensive and easy to use. I think it's possible and probably easier if the codebase of CoqGym uses PyCoq. But I don't think you can plug in PyCoq in the current codebase trivially. |
Beta Was this translation helpful? Give feedback.
0 replies
Answer selected by
yangky11
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
PyCoq is pretty new, and I'm not familiar with it. It looks like a Python wrapper of SerAPI. CoqGym has its own customized wrapper of SerAPI (serapi.py), though PyCoq should be more comprehensive and easy to use.
I think it's possible and probably easier if the codebase of CoqGym uses PyCoq. But I don't think you can plug in PyCoq in the current codebase trivially.