undefined | Better HN

0 pointsbsaul10y ago0 comments

sorry, i'm not a native english. i meant formal proofs.

0 comments

1 comments · 1 top-level

Ah, no problem. Thanks for clarifying! I thought it might be some terminology I did not know.

j / k navigate · click thread line to collapse