crates.io : materially
A macro for material implication
Registry
-
Source
- Documentation
- JSON
purl: pkg:cargo/materially
Keywords:
implication
, implies
, logic
, logical
, macro
License: MIT,Apache-2.0
Latest release: over 1 year ago
First release: over 1 year ago
Downloads: 3,256 total
Stars: 0 on GitHub
Forks: 0 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: about 1 month ago
Loading...
Readme
Loading...