Sunset Tree

Package bool-int-1.15

Information

versions1.2→ ··· →1.10→1.13→ 1.15 →1.17→ 1.18
descriptionIntuitionistic boolean theorems
authorJoe Hurd <joe@gilith.com>
licenseHOLLight
installed10:01:46 on Monday 13 February 2012

For more details see the package document.

Included By

  • bool-1.24 — Boolean operators and quantifiers
  • bool-1.25 — Boolean operators and quantifiers