Sunset Tree

Package bool-int-1.18

Information

versions1.0→ ··· →1.15→1.17→ 1.18
descriptionIntuitionistic boolean theorems
authorJoe Leslie-Hurd <joe@gilith.com>
licenseHOLLight
installed21:52:58 on Tuesday 7 July 2015

For more details see the package document.

Included By

  • bool-1.37 — Boolean operators and quantifiers