Released v7.3.0 #50
karlssberg
announced in
Announcements
Released v7.3.0
#50
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Introduced the
¬methematical negation symbol to turn a propositional-statement into unsatisifed assertions. This is to remove the ambiguity regarding the!symbol's use as the NOT operator and for negating propositional statement. Specifically, it made theReasonproperty harder to reason about (excuse the pun).Beta Was this translation helpful? Give feedback.
All reactions