Package bool-class-1.21
Information
versions | 1.2→ ··· →1.16→1.19→ 1.21 →1.22→ 1.26 |
description | Classical boolean theorems |
author | Joe Leslie-Hurd <joe@gilith.com> |
license | MIT |
installed | 04:53:42 on Sunday 23 March 2014 |
For more details see the package document.
Included By
- bool-1.31 — Boolean operators and quantifiers