List view

• 2.0

  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.

  No due date

  •6/12 issues closed
  50% complete6 open6 closed