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)
listview
jquery-selectric
mongodb-3.6
activesupport
azure-form-recognizer
travis-ci
imgui
newrow
phpbb3
m4a
onitemclick
automapper-9
elasticsearch-date
corda
polar-coordinates
member-hiding
decidability
frozenset
stdlaunder
jovo-framework
nosql-aggregation
rasa-sdk
android-jetpack-compose-ui
ordered-set
uwsgi-stats-server
netflix-conductor
ebcdic
chinese-locale
rope
ssis