I am having a hard time proving A → ¬ (¬ A ∧ B) with the Lean theorem prover. I set it up like this: example : A → ¬ (¬ A ∧ B)
scte-35
android-contentprovider
glmnet
file-saver
spnego
rave-reports
linux-capabilities
microsoft-appstudio
manual-testing
low-level
blade
luxon
googlesheets4
attachment
mqttnet
rserve
otree
hmvc
richtextctrl
appdata
storage-duration
theorem-proving
form-layout
azure-communication-services
sql-server-config-manager
pahocpp
parquet-mr
ansible
backquote
keyup