Hacker News new | ask | show | jobs
by Q6T46nT668w6i3m 189 days ago
I guess it depends on your definition of proof but I’d say the reasoning and justifications sections of a TOMS article qualifies and that’s a standard nearly every popular library meets.