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

write special for or-elim #9

Closed fredokun closed 7 years ago

fredokun commented 7 years ago

done on soon to be 0.4.1