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