Hi, I'm still working on the package ; I'm mostly stuck because there are incoherent licensing issues: https://github.com/ejgallego/coq-serapi/issues/266
Cheers, J.Puydt
Hi, I'm still working on the package ; I'm mostly stuck because there are incoherent licensing issues: https://github.com/ejgallego/coq-serapi/issues/266
Cheers, J.Puydt