cargo / lungo-cli

The lungo command: generate C, Go, Python, Swift, TypeScript and Rust from Lean programs

1.106.540 did not build; the badge stands for .

37 downloads · source · home page · cargo

codegen ffi lean lean4 protoc