-
Notifications
You must be signed in to change notification settings - Fork 3
Pull requests: coq-community/trocq
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
WIP: decorrelates knowing translations from using translations
#18
opened Jan 17, 2024 by
CohenCyril
•
Draft
ProTip!
Adding no:label will show everything without a label.