elpi (as opposed to
coq-elpi) is included in the platform, it is not included in the list in
README.md. I believe this is an omission?
hmm, in the opam repo files, I actually see
elpi but not
coq-elpi. Is this intended?
Last updated: Jun 03 2023 at 04:30 UTC