A dependent type system for machine learning in Lisp
Vouivre
Vouivre
Not available yet
Not available yet
https://nlnet.nl/contact/
Not available yet
Not available yet
Country:
NGI Project: NGI zero core
Status: Early research demo
Category: Data and machine learning