Contributors to notes-math-reverseMathematics
BayleShanks