Sunset Tree

Package bool-int-1.13

Information

versions1.0→ ··· →1.4→1.10→ 1.13 →1.15→1.17→ 1.18
descriptionIntuitionistic boolean theorems
authorJoe Hurd <joe@gilith.com>
licenseHOLLight
installed05:07:06 on Monday 30 January 2012

For more details see the package document.

Included By

  • bool-1.23 — Boolean operators and quantifiers