| [package] | |
| name = "notebook-kernel" | |
| version.workspace = true | |
| edition.workspace = true | |
| license.workspace = true | |
| description = "Jupyter kernel + execution ring — decentralized cell scheduling with zero-copy IPC" | |
| [dependencies] | |
| subleq-vm.workspace = true | |
| subleq-ir.workspace = true | |
| polyglot-frontend.workspace = true | |
| invariant-extractor.workspace = true | |
| proof-validator.workspace = true | |
| m4-morph.workspace = true | |
| anyhow.workspace = true | |
| thiserror.workspace = true | |
| tracing.workspace = true | |
| serde.workspace = true | |
| serde_json.workspace = true | |
| tokio.workspace = true | |
| bytes.workspace = true | |
| crossbeam.workspace = true | |
| [dev-dependencies] | |
| proptest.workspace = true | |