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