MRandl
Results
2
issues of
MRandl
Is there a consensus as to what "The Rocq Prover" translates to in French ? "Le prouveur Rocq", "Rocq", "The Rocq prover", still Coq ? Best, MRandl
Hey ! I would love to see this use the more modern scala 3.0/3.1 instead of 2.12. I could work on it in February if you want !