Dispute this rating

Tell us why you think the rating for “libcoq-aac-tactics” should be different. Sources help.

Suggested ageReasonMinimum 10 characters. Do not share personal data.EmailUsed only to follow up on this dispute.

“An open catalog of Linux metadata. Work in progress, in public.”

Pages

Set in Newsreader (Production Type) and IBM Plex (IBM Corp.), both under SIL Open Font 1.1. Code AGPL-3.0; dataset CC0.