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