Merge pull request LPCIC#339 from LPCIC/new-resolver

Prepare Coq-Elpi 1.13

bugfix release

Coq-Elpi for Coq 8.15

Merge pull request LPCIC#293 from LPCIC/coq-v8.14

Coq v8.14

close changelog

Merge pull request LPCIC#257

abbreviations for tactic in terms

run tests in CI

close changelog

Merge pull request LPCIC#249 from LPCIC/multigoal

msolve

close changelog