Executable row reduction (RREF) and span/nullspace over hex-matrix. Mathlib-free. Published from hex-dev. - View it on GitHub