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)
angular-module
serilog
nopcommerce
linked-server
max-pool-size
countries
parsing
pgloader
communicate
android-viewbinding
python-theano
hacker-news-api
software-design
sixel
rum
weak-linking
forward
mayavi.mlab
dfinity
subtype
routetable
moor
django-database-functions
webkit-transform
.net-core-publishsinglefile
iup
powershell-core
assertj
react-dnd
grpc-swift