logicaffeine-kernel 0.10.0

# THIS FILE IS AUTOMATICALLY GENERATED BY CARGO
#
# When uploading crates to the registry Cargo will automatically
# "normalize" Cargo.toml files for maximal compatibility
# with all versions of Cargo and also rewrite `path` dependencies
# to registry (e.g., crates.io) dependencies.
#
# If you are reading this file be aware that the original Cargo.toml
# will likely look very different (and much more reasonable).
# See Cargo.toml.orig for the original contents.

[package]
edition = "2021"
rust-version = "1.75"
name = "logicaffeine-kernel"
version = "0.10.0"
authors = ["Tristen Harr <tristen@brahmastra-labs.com>"]
build = false
autolib = false
autobins = false
autoexamples = false
autotests = false
autobenches = false
description = "Pure Calculus of Constructions type theory - NO LEXICON"
homepage = "https://logicaffeine.com"
readme = "README.md"
keywords = [
    "logic",
    "proof-assistant",
    "theorem-prover",
    "first-order-logic",
    "formal-methods",
]
categories = [
    "mathematics",
    "compilers",
    "science",
]
license = "BUSL-1.1"
repository = "https://github.com/Brahmastra-Labs/logicaffeine"

[features]
serde = ["dep:serde"]

[lib]
name = "logicaffeine_kernel"
path = "src/lib.rs"

[[example]]
name = "arith_perf"
path = "examples/arith_perf.rs"

[[example]]
name = "recheck"
path = "examples/recheck.rs"
required-features = ["serde"]

[[test]]
name = "anon_ctor"
path = "tests/anon_ctor.rs"

[[test]]
name = "bignum_kernel"
path = "tests/bignum_kernel.rs"

[[test]]
name = "binder_info"
path = "tests/binder_info.rs"

[[test]]
name = "coeff_overflow"
path = "tests/coeff_overflow.rs"

[[test]]
name = "coercions"
path = "tests/coercions.rs"

[[test]]
name = "conversion"
path = "tests/conversion.rs"

[[test]]
name = "decide"
path = "tests/decide.rs"

[[test]]
name = "dot_notation"
path = "tests/dot_notation.rs"

[[test]]
name = "double_kernel_features"
path = "tests/double_kernel_features.rs"

[[test]]
name = "elaborate"
path = "tests/elaborate.rs"

[[test]]
name = "eta_unify"
path = "tests/eta_unify.rs"

[[test]]
name = "imax_universe"
path = "tests/imax_universe.rs"

[[test]]
name = "indexed_recursor"
path = "tests/indexed_recursor.rs"

[[test]]
name = "let_zeta"
path = "tests/let_zeta.rs"

[[test]]
name = "mutual_inductives"
path = "tests/mutual_inductives.rs"

[[test]]
name = "nat_bignum"
path = "tests/nat_bignum.rs"

[[test]]
name = "native_compile"
path = "tests/native_compile.rs"

[[test]]
name = "native_decide"
path = "tests/native_decide.rs"

[[test]]
name = "native_recursor"
path = "tests/native_recursor.rs"

[[test]]
name = "nested_inductives"
path = "tests/nested_inductives.rs"

[[test]]
name = "order_axioms"
path = "tests/order_axioms.rs"

[[test]]
name = "pattern_unify"
path = "tests/pattern_unify.rs"

[[test]]
name = "quotient"
path = "tests/quotient.rs"

[[test]]
name = "recheck"
path = "tests/recheck.rs"

[[test]]
name = "recursor"
path = "tests/recursor.rs"

[[test]]
name = "sprop"
path = "tests/sprop.rs"

[[test]]
name = "structures"
path = "tests/structures.rs"

[[test]]
name = "surface_elaborate"
path = "tests/surface_elaborate.rs"

[[test]]
name = "surface_sugar"
path = "tests/surface_sugar.rs"

[[test]]
name = "universe_consistency"
path = "tests/universe_consistency.rs"

[[test]]
name = "universe_levels"
path = "tests/universe_levels.rs"

[[test]]
name = "universe_poly"
path = "tests/universe_poly.rs"

[[test]]
name = "well_founded"
path = "tests/well_founded.rs"

[dependencies.logicaffeine-base]
version = "0.10.0"

[dependencies.serde]
version = "1"
features = ["derive"]
optional = true

[dev-dependencies.serde_json]
version = "1"