Packages with keyword "logic" ordered by subkeyword
| Package | Version | Released | Description | Keywords |
|---|---|---|---|---|
| amb | v1.0.0 | 1487 days ago | The universal backtracking ambivalence operator. | logic |
| predicate-calculus | v1.0.0 | 2021 days ago | Predicate calculus with equality | logic |