alt
Hacker News
andriy_koval
•
today at 12:59 PM
•
0 replies
•
view on HN
they don't claim journals quality, which doesn't make published proofs useless artifacts.