Search 2 packages
| Packages1–2 of 2 | Version | Risk | Vulns | Description | Downloads | When |
|---|---|---|---|---|---|---|
| linlog-cli cargo | 0.1.0 | none | low | The linlog command: decide, check, prove step by step and export sequents of linear logic, and ordinary logic through its translations. | 9 | 18h ago |
| linlog cargo | 0.1.0 | none | none | A linear logic suite: decides, checks, proves step by step and exports sequents of classical and intuitionistic linear logic, and ordinary propositional logic… | 11 | 18h ago |
