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)
extended-properties
libreoffice-basic
rcw
csp-html-webpack-plugin
managed-bean
easy-install
selectedindexchanged
bpel
friend
qsqldatabase
transfer-learning
symfony-panther
solver
php-zip-archive
mstsc
khan-academy
laravel-unit-test
ember-classic
nuxt.js
asyncssh
bootstrap-notify
hfs+
solana-cli
extreact
distributed-objects
wcag
laravel-http-client
split-screen-multitasking
pygame-tick
firepad