Accelerated machine learning with dependent types

calendar Oct 30, 2023  ·
Share on: linkedin copy

Accelerated machine learning with dependent types. Contribute to joelberkeley/spidr development by creating an account on GitHub.

Read more here: External Link