lean4_sys 0.1.0

[build-dependencies.bindgen]
features = ["experimental", "runtime"]
version = "0.65.1"

[build-dependencies.cc]
version = "1.0"

[dependencies]

[package]
authors = ["lemonhx <lemonhx@lemonhx.moe>"]
description = "Lean4 FFI"
edition = "2021"
license = "MIT"
name = "lean4_sys"
readme = "README.md"
version = "0.1.0"