Emilio Jesús Gallego Arias

What does `opam list` show?

This is a problem with the versions of the packages you have, you won't be able to fix the code manually unfortunately, code is very different among Coq versions.

Indeed some deps are wrong, see `pycoq.opam` file, in particular the `ppxlib` version is critical I think, 0.28.0 doesn't work with this repos. You can try to get the right...

When I wrote pycoq some OCaml libraries where under migration, the situation is much better now; so if you need to use pyCoq with a newer Coq version we should...

@brando90 indeed the current setup procedure is not pythonic at all, patches welcome. In short, what it needs to be done here is: - build the .so file for Coq,...

Thanks @palmskog , looks good to me !

> @ejgallego so can this become the `v8.17` branch now, and we set it as default for the repo? I think so! We may need to add a known issues...

Binaries are built there, no idea how to tell Python to understand that.

Hi folks, I'm interested on this too, and in fact I had written to @spolu a couple of days ago to ask him about that possibility. This week is impossible...

I'd like to share our idea (our = the Inria Picube team) w.r.t. this, actually we discussed internally about doing a Coq miniF2F version after last year's AITP, however I...