GitHub - O6lvl4/lean4-rust-backend: Lean 4 → Rust backend: IR-based code generation with runtime, WASM cross-compilation support · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
examples		examples
lean-ir-codegen		lean-ir-codegen
lean-ir-export		lean-ir-export
lean-runtime		lean-runtime
lean-transpiler		lean-transpiler
.gitignore		.gitignore
Cargo.toml		Cargo.toml

About

Lean 4 → Rust backend: IR-based code generation with runtime, WASM cross-compilation support

Report repository

Releases

No releases published

Packages

Contributors

Languages