GitHub - digama0/lean-rs: High level Lean 4 FFI for Rust

Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
base		base
build		build
src		src
.gitignore		.gitignore
Cargo.lock		Cargo.lock
Cargo.toml		Cargo.toml
build.rs		build.rs
lean-toolchain		lean-toolchain

About

High level Lean 4 FFI for Rust

Report repository

Releases

No releases published

Packages

Contributors 2

Languages