cairo-lang-semantic (cargo): Cairo semantic model.
Keywords: cairo-lang|computational-integrity|starknet|zero-knowledge-proofs|zkp