tensorrocq - Robuta Search

https://arxiv.org/abs/2604.17592 [2604.17592] TensorRocq: Enabling diagrammatic reasoning in Rocq Abstract page for arXiv paper 2604.17592: TensorRocq: Enabling diagrammatic reasoning in Rocq diagrammatic reasoning enabling rocq