lean-proof-to-code-translator-c-rust-wasm

【开发与工程】Lean Proof To Code Translator - C Rust Wasm: Start asynchronous Lean proof export. Use when an agent needs lean proof to code translator c rust wasm, lean to code translator w proof c rust wasm, compile lean proof programs to c for native integration, generate rust exports from pinned lean proof bundles, produce constrained wasm artifacts from lean p…

独立 GitHub 快照 · 自动分类 · 以原作者文档为准