Hacker News new | ask | show | jobs
Google-DeepMind/formal-conjectures: collection of formalized conjectures in lean (github.com)
4 points by diginova 389 days ago