I don't know where to put it, but there are parentheses missing in the statements on the current web site of Logipedia.
For instance, ∀ A, A ⇒ False ⇒ ¬A is the statement printed on http://logipedia.inria.fr/theorems/theorems.php?md=connectives&id=nmk&kind=axiom , but it is not the one intended, which is ∀ A, (A ⇒ False) ⇒ ¬A, as shown by the printing in the syntax of the proof assistants.
I don't know where to put it, but there are parentheses missing in the statements on the current web site of Logipedia.
For instance, ∀ A, A ⇒ False ⇒ ¬A is the statement printed on http://logipedia.inria.fr/theorems/theorems.php?md=connectives&id=nmk&kind=axiom , but it is not the one intended, which is ∀ A, (A ⇒ False) ⇒ ¬A, as shown by the printing in the syntax of the proof assistants.