News for hackers. Stuff that matters.

A comment on What I've Learned About Formal Methods in Half a Year. Parent comment

Re:What I've Learned About Formal Methods in Half a Year by tsimionescu on Monday April 10, 2023 @01:10PM (#35514594)
Why is forall any less formal than ∀? Or Nat less formal than ℕ? Especially when these are symbols that most will have learned in high school?
[ Parent | on HN ]
Re:What I've Learned About Formal Methods in Half a Year by sirwhinesalot on Monday April 10, 2023 @05:33PM (#35517665)
They're not on my keyboard.
[ Parent | on HN ]