soft3/lens/binius.md ฯ 0.0% 2 words ยท 1 min binius Folder Graph Mentions Folder src/ Cargo.toml Graph Mentions research/cybergraph model architecture soft3/zheng/docs/explanation zheng: a self-proving proof system soft3/zheng/specs/accumulator soft3/zheng/specs/tensor