Testing ways of using citizen math, proof assistants, automation tools, and AImathstodon.xyz2 pointsColinWright2 years ago