Rust crate for proof-carrying vector operations using lean-agentic dependent types, providing formal verification with ~500ns proofs for secure vector computations in AI systems.
लोड हो रहा है......
इस पृष्ठ पर
ruvector-verified
इससे संबंधित और आइटम देखें