Open smiths opened 3 years ago
As for #92, we need to decide what to do with our revised quality definitions document (#91). Before publishing (on arXiv) or elsewhere, we might want to ask Ridha Khedri and Richard Paige for feedback.
As for #92, we need to decide what to do with our revised quality definitions document (#91). Before publishing (on arXiv) or elsewhere, we might want to ask Ridha Khedri and Richard Paige for feedback.