Y
Hacker News
new
|
ask
|
show
|
jobs
by
rirze
9 days ago
Here's your Lean proof
https://github.com/google-deepmind/formal-conjectures/pull/4...