Mentions légales du service

Skip to content

WIP: Add a CONTRIBUTING.md

Xavier Denis requested to merge contributing into master

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! 🙂

Edited by Xavier Denis

Merge request reports