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)
value-objects
azure-devops-services
halfmoon
netsuite
spectrogram
boilerpipe
voip-android
canvasjs
ongloballayoutlistener
winpexpect
feature-policy
laravel-datatables
zone
transducer
code-rally
pgdb
tpu
intellij-plugin
gts
parallel-coordinates
angular-http-server
points
exceljs
thick-client
jms2
qtgui
7zip
impersonation
better-sqlite3-helper
stdarray