Hacker News new | ask | show | jobs
by sgoto 849 days ago
https://code.sgo.to/2019/08/01/the-axiomatic-force-conjectur...