Research artifact
nno-transit-publication-package-v0.1.0.zip
Supplement for NNO-Internal Transit Optimization: Simplicial Semantics and a Typed Lean-to-Rust Compiler
Author: Anonymous
159,929 bytes · application/zip
SHA-256: b84ec639a88541b7a2975a11db4a8e4da06dc2446af4013e9018b2dc828011b5
Stable artifact reference: https://higher-categorical-semantics.pages.dev/artifacts/b127a997fef496111cdfe67614f3f1b9