4 ms·Google-DeepMind/formal-conjectures: collection of formalized conjectures in lean4 points by diginova 1y ago