F# Linear algebra with type-level dimensions and static checks(notebooks.azure.com)

https://notebooks.azure.com/allisterb/projects/sylvester/html/Sylvester.Tensors.ipynb