logicaffeine-proof is used at run time in 4 crates. It is a direct run-time dependency in 3 crates.
| Depender (with downloads and own rev deps) | logicaffeine-proof version | |||
|---|---|---|---|---|
| 2 | logicaffeine-compile | ^0.9.16 | ||
| 3 | logicaffeine-language | ^0.9.16 | ||
| logicaffeine-lsp | ^0.9.16 | |||