This organization has no public members. You must be a member to see who’s a part of this organization.
This release implements the renaming from Coq to Rocq, MetaCoq to MetaRocq and TemplateCoq to TemplateRocq.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback