← Back to context Comment by 0976jzhs 3 hours ago Because the proof and Lean formalization have been produced by a clanker. 0 comments 0976jzhs Reply No comments yet Contribute on Hacker News ↗
No comments yet
Contribute on Hacker News ↗