I made a milestone with a date that would fit Coq 8.12 release. Of course it would be nice to have parameters, but we will see. I did put some issues in the release, hopefully they should be fixable as soon as I release coq-elpi 1.4.x
Maybe we could tag a 1.0+alpha1 since it might be veeeery buggy for now...
Coq beta includes 0.9.1. We can still update the ref they track for the final (1 month time max), or stay with 0.9.1
FTR, @Enrico Tassi released 1.0.0 a few hours ago
Last updated: Mar 03 2024 at 15:01 UTC