Leibniz determinant + cofactor/adjugate/Cauchy-Binet/Plücker over hex-matrix. Mathlib-free. Published from hex-dev. - View it on GitHub