Add `(!= _)` symbol - Githubissues

advancedresearch / poi

a pragmatic point-free theorem prover assistant

Apache License 2.0

136 stars 7 forks source link

Add `(!= _)` symbol #1068

Open bvssvni opened 2 years ago

bvssvni commented 2 years ago

Currently, this can't be directly expressed.