logoalt 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.