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 sirwhinesalot on Monday April 10, 2023 @12:53PM (#35514378)
Forall (n: Nat)

Is perfectly reasonable.

If conciseness was that important theorem provers would have syntax like APL.

[ Parent | on HN ]
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 ]