good practices - math-comp/math-comp GitHub Wiki [EDIT by Cyril] This has been merged in CONTRIBUTING.md