Google-DeepMind/formal-conjectures: collection of formalized conjectures in lean Posted by diginova on Wednesday May 28, 2025 @03:22PM from the github.com dept. https://github.com/google-deepmind/formal-conjectures ( no comments | on HN )
There are no comments yet.