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

