slop-tensor 6.4.0

N-dimensional tensor operations for polynomial proof systems
Documentation