3 ms·Testing ways of using citizen math, proof assistants, automation tools, and AI2 points by ColinWright 2y agodeleted 2y ago[deleted]