Also for F#: https://github.com/allisterb/Sylvester/tree/master/src/Math/Sylvester.AbstractAlgebra https://github.com/allisterb/Sylvester/tree/master/src/Math/.

Also for F#: https://github.com/allisterb/Sylvester/tree/master/src/Math/Sylvester.AbstractAlgebra https://github.com/allisterb/Sylvester/tree/master/src/Math/... Contains both rigorous definitions and theories for use by the Sylph prover.