News for hackers. Stuff that matters.

A comment on AbstractAlgebra: Computer algebra package for Julia language.

Re:AbstractAlgebra: Computer algebra package for Julia language by allisterb on Friday March 20, 2020 @01:14PM (#22639302)
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 | on HN ]

There are no comments on this comment yet.