Sunset Tree

Package bool-int-1.13

Information

versions1.2→ ··· →1.4→1.10→ 1.13 →1.15→1.17→ 1.18
descriptionIntuitionistic boolean theorems
authorJoe Hurd <joe@gilith.com>
licenseHOLLight
installed23:50:22 on Wednesday 4 January 2012

For more details see the package document.

Included By

  • bool-1.23 — Boolean operators and quantifiers