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

Contains both rigorous definitions and theories for use by the Sylph prover.