Claude/add academic proofs g3z zu (#9)

Signed-off-by: Jonathan D.A. Jewell <6759885+hyperpolymath@users.noreply.github.com>
Co-authored-by: Claude <noreply@anthropic.com>

Author: hyperpolymath

Cargo.lock

@@ -20,6 +20,10 @@ path = "src/main.rs"
 anv-core = { path = "../anv-core" }
 anv-syntax = { path = "../anv-syntax" }
 anv-types = { path = "../anv-types" }
+anv-semantics = { path = "../anv-semantics" }
+anv-ir = { path = "../anv-ir" }
+anv-viz = { path = "../anv-viz" }
 clap = { workspace = true }
 miette = { workspace = true }
 thiserror = { workspace = true }
+serde_json = { workspace = true }