Dependently typed tesorflow modeler
Why do you think that https://github.com/haskell/statistics is a good alternative to mathflow
Dependently typed tesorflow modeler
Why do you think that https://github.com/haskell/statistics is a good alternative to mathflow