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)
gregorian-calendar
react-intl-universal
iclientmessageinspector
autocorrect
vite
python-on-whales
ml-yacc
webproject
data-uri
distributed-training
teslamate
serialization
eflags
formsflow
slimdx
related-content
debug-diagnostic-tool
spring-saml
amp-html
amazon-opensearch
murmurhash
nuxtserverinit
resource-router-middleware
c-header
lwt
reddison
valueerror
blobstorage
kde4
non-virtual-interface