Research artifact
nno-transit-optimization.pdf
Supplement for NNO-Internal Transit Optimization: Simplicial Semantics and a Typed Lean-to-Rust Compiler
Author: Anonymous
105,548 bytes · application/octet-stream
SHA-256: cd18ffa60cbdb82367c8922292e2eafd846ae68623152ebb51ff43da2687972e
Stable artifact reference: https://higher-categorical-semantics.pages.dev/artifacts/bb9a3a535e4cf1f19a7fa075537f5021