WIP: Add a CONTRIBUTING.md
Since DEVELOPER.readme
is over 9 years old, I figured it was time for an update :) I still need to fill in some blanks but I hope it will help future contributors navigate Why3 and get some of the maintainer knowledge down on paper.
If anyone with expert knowledge would like to fill in some blanks or notices an omission, feel free to add commits to this branch!