This milestone marks when coq-elpi is ready to be merged in Coq and be maintained there.
Of course it can be distributed with Coq way before that point.
List view
0 issues of 6 selected
- Status: Open.#15 In LPCIC/coq-elpi;
- Status: Open.#80 In LPCIC/coq-elpi;
- Status: Open.#136 In LPCIC/coq-elpi;
- Status: Open.#87 In LPCIC/coq-elpi;
- Status: Open.#146 In LPCIC/coq-elpi;
- Status: Draft (not ready).LPCIC/coq-elpinumber 169#169 In LPCIC/coq-elpi;