google-deepmind/formal-conjectures

google-deepmind/formal-conjectures: google-deepmind/formal-conjectures may be useful when its README and activity match a concrete workflow.. Use it for Misc. E