ASamSam

here is opam list result. what is the correct coq version for me? i can reinstall everything, but did understood that coq 8.14 is ok ``` opam list Packages matching:...

practically, i'm trying to study some Coq files executing them in pqrqllel in COQ, and python is very comfortable for me for this task. I'm not doing something special, so...