3 ms·
Forall (n: Nat) Is perfectly reasonable. If conciseness was that important theorem provers would have syntax like APL.
by sirwhinesalot 4y ago
Forall (n: Nat)
Is perfectly reasonable.
If conciseness was that important theorem provers would have syntax like APL.
- tsimionescu 4y agoWhy is forall any less formal than ∀? Or Nat less formal than ℕ? Especially when these are symbols that most will have learned in high school?
- sirwhinesalot 4y agoThey're not on my keyboard.