Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Google-DeepMind/formal-conjectures: collection of formalized conjectures in lean
github.com/google-deepmind
4 points
diginova
a year ago
No comment yet
Google-DeepMind/formal-conjectures: collection of formalized conjectures in lean | Heykuki News