Contributors to notes-math-visualProofs