Top 20 NuGet Packages depending on Sylvester.Arithmetic

High-level functional and verifiable TensorFlow 2.0 API.

Linear algebra types with type-level numeric dimensions

Sylvester number-parameterized collection types. These collection types can perform static verification of lengths and indices as long as some information about these values is available at compile time.