lean-rs-worker 0.1.2

Worker-process boundary for lean-rs host workloads.

1
2
3

fn main() -> std::process::ExitCode {
    lean_rs_worker::run_worker_child_stdio()
}