search

latte-central / LaTTe

LaTTe : a Laboratory for Type Theory experiments (in clojure)
http://latte-central.github.io/LaTTe/
MIT License
256 stars 13 forks source link

existential symbol should be allowed... #32

Open fredokun opened 3 years ago

fredokun commented 3 years ago

The existential symbol ∃ should be allowed in terms, as a synonymous notation for exists