Hacker News new | ask | show | jobs
by AreaGuy 3968 days ago
What does 'prooves' mean?
1 comments
bsaul 3968 days ago
sorry, i'm not a native english. i meant formal proofs.
link
AreaGuy 3968 days ago
Ah, no problem. Thanks for clarifying! I thought it might be some terminology I did not know.
link