oxilean 0.1.1

OxiLean - A Pure Rust theorem prover and dependent type checker inspired by Lean 4
Documentation
# This file is automatically @generated by Cargo.
# It is not intended for manual editing.
version = 3

[[package]]
name = "lazy_static"
version = "1.5.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "bbd2bcb4c963f2ddae06a2efc7e9f3591312473c50c6685e1f298068316e66fe"

[[package]]
name = "oxilean"
version = "0.1.1"
dependencies = [
 "oxilean-build",
 "oxilean-codegen",
 "oxilean-elab",
 "oxilean-kernel",
 "oxilean-lint",
 "oxilean-meta",
 "oxilean-parse",
 "oxilean-runtime",
 "oxilean-std",
 "oxilean-wasm",
]

[[package]]
name = "oxilean-build"
version = "0.1.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "bfcb34080217995a4806038dfe6c0be12cbda8e93fc47ac774fcdf01024f3864"
dependencies = [
 "oxilean-kernel",
 "oxilean-parse",
]

[[package]]
name = "oxilean-codegen"
version = "0.1.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "1b28aa397ef838b68ba67e57ce3d11584da98e0ca76023cabed809dd90ed7556"
dependencies = [
 "oxilean-kernel",
]

[[package]]
name = "oxilean-elab"
version = "0.1.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "208b4df4a89ee0b18f40090be3061090d3a82558ee12bbc23b5fa8747637b8e0"
dependencies = [
 "lazy_static",
 "oxilean-kernel",
 "oxilean-parse",
]

[[package]]
name = "oxilean-kernel"
version = "0.1.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "996a501d0037ba29f71c97aac3961108e5c0a50662410dd5023e8a47463a2660"

[[package]]
name = "oxilean-lint"
version = "0.1.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "5de67066e0550a03c611287d3809ced9ddba62d79808d39a080fd3c23ae9cd56"
dependencies = [
 "oxilean-kernel",
 "oxilean-parse",
]

[[package]]
name = "oxilean-meta"
version = "0.1.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "787dfb34761530490ac27150c43e9605b82cb194b12e4afcf1793a579dd67e97"
dependencies = [
 "oxilean-kernel",
]

[[package]]
name = "oxilean-parse"
version = "0.1.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "6376d0596c5273b949633783d83c39bd1041b3ee7d5ff1c4452fe9491ba85099"
dependencies = [
 "oxilean-kernel",
]

[[package]]
name = "oxilean-runtime"
version = "0.1.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "3bd5d1988c00c9713de86208a3389db510760371a16875957ecc90434894d7f4"
dependencies = [
 "oxilean-kernel",
]

[[package]]
name = "oxilean-std"
version = "0.1.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "521ee6cea0e7b8eff03e15761f9359cc938022e8b4841980ed191726a5a8e1d3"
dependencies = [
 "oxilean-kernel",
]

[[package]]
name = "oxilean-wasm"
version = "0.1.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "0f8dfced92cd64301f3e766b37fa0c3f3e1484e62afbd7bff8c5aa5ef23473e4"