slop-tensor 6.0.0-rc.1

N-dimensional tensor operations for polynomial proof systems
Documentation