stablesort icon indicating copy to clipboard operation
stablesort copied to clipboard
verified publisher icon pi8027

Port to derive.param2 of Coq-Elpi

Open pi8027 opened this issue 8 months ago • 1 comments

pi8027 avatar Apr 10 '25 20:04 pi8027

Surprisingly, it's still compatible with Coq 8.13 and MathComp 1.13, though a few docker-mathcomp images fail to install Coq-Elpi because of the version of OCaml they use (looks like the dual problem of math-comp/docker-mathcomp#12).

pi8027 avatar Apr 11 '25 09:04 pi8027