8
Help Contribute to coq/coq - | CodeTriage
source link: https://www.codetriage.com/coq/coq
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
The easiest way to get started contributing to Open Source projects like coq
Pick your favorite repos to receive a different open issue in your inbox every day. Fix the issue and everybody wins. 62,846 developers are working on 6,662 open source repos using CodeTriage. What is CodeTriage?.
Sign up with GitHubRecommend
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK