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)
service-composition
devserver
rd
rocksdb-java
code-formatting
flask-bootstrap
pyaudioanalysis
android-api-30
check-digit
voltajs
pytorch-live
fortran-iso-c-binding
thread-sanitizer
ragged
nvl
monospace
debug-symbols
handbrakecli
google-drive-picker
azure-subscription
button
multipass
db-first
floating-point-exceptions
ref
autoboxing
dddd
loginview
font-scaling
tensorflow-federated