logicaffeine-base is used at run time in 9 crates.
| Depender (with downloads and own rev deps) | logicaffeine-base version | |||
|---|---|---|---|---|
| logicaffeine-cli | ^0.9.16 | |||
| 2 | logicaffeine-compile | ^0.9.16 | ||
| 2 | logicaffeine-data | ^0.9.16 | ||
| 3 | logicaffeine-kernel | ^0.9.16 | ||
| 3 | logicaffeine-language | ^0.9.16 | ||
| 1 | logicaffeine-lexicon | ^0.9.16 | ||
| logicaffeine-lsp | ^0.9.16 | |||
| 3 | logicaffeine-proof | ^0.9.16 | ||
| 1 | logicaffeine-system | ^0.9.16 | ||