Contributors to notes-math-foundations