Can CoqGym's data be used with PyCoq? - Githubissues

ejgallego / pycoq

Python bindings for the Coq interactive proof assistant

50 stars 4 forks source link

Can CoqGym's data be used with PyCoq? #20

Open brando90 opened 2 years ago

brando90 commented 2 years ago

Can CoqGym's data be used with PyCoq?

cross: https://github.com/princeton-vl/CoqGym/discussions/70

ejgallego commented 2 years ago

I don't know