[package]
name = "jouleclaw-formalize"
version.workspace = true
edition.workspace = true
license.workspace = true
repository.workspace = true
authors.workspace = true
description = "Formalization-faithfulness checker. Types + FaithfulnessChecker trait for binding informal claims to formal statements (Kani/Lean/Coq/TLA/pseudo-formal). Makes the stochastic nature of formalization a first-class artifact."

[dependencies]
serde      = { workspace = true }
serde_json = { workspace = true }
thiserror  = { workspace = true }