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)
gadgetfs
scip
lftp
postgresql-9.2
aggregate-filter
drupal-theming
amos
morse-code
android-jetpack-compose-pager
dxc
k8s-cluster-role
poly
localsystem
android-assetpacks
micrium
spring-security
pureftpd
corba
object-property
service-application
web-deployment
spring-cloud-stream-binder
dbsql
delete-directory
const-reference
nativescript-vue
qubole
rml
satellite
mongoose-populate