Brando Miranda
Brando Miranda
also no reference to a python environment manager like conde is mentioned. Usually people have set up something like this: ``` conda create -n iit_synthesis python=3.9 conda activate iit_synthesis ```...
ok then the next sentence comes out of the blue: > For the moment, PyCoq requires a special version of ppx_python, while the situation stabilizes in the OPAM repository we...
> Once the right dependencies have been installed, you can do: which depedencies?
@ejgallego I can help with that in a bit. But until the gap from > for the 0.13 version that targets Coq v8.13; note that OCaml >= 4.11.0 is recommended,...
``` # --- To be safe lets create a switch only for pycoq-emilio # -- for the 0.13 version that targets Coq v8.13; note that OCaml >= 4.11.0 is recommended,...
@ejgallego this is what I think is next: ``` # - Clone pycoq-emilio repo cuz he says so (this shouldn't be something a python user needs to do) cd ~...
moving discussion here: https://coq.zulipchat.com/#narrow/stream/252087-Machine-learning-and-automation/topic/pycoq-egallego hope to close issue once I get a conclusion/solution.
@ejgallego I still need help. Last command I did was ``` $ opam install --deps-only coq-serapi $ opam install pythonlib ``` after that it's not clear what I'm supposed to...
I might be interested. What would be a list/plan of what would be needed to do this? > On Feb 6, 2022, at 12:25 PM, Talia Ringer ***@***.***> wrote: >...
Cool! Once I have more open cycles I will see how to organize formalizing it. Perhaps I can share it in the Coq discuss and have people help me do...