Eason du

icon indicating a website link doofin.hashnode.dev icon indicating an email [email protected]

icon company Danmarks Tekniske Universitet icon location Norway icon location functional and formal math

Results 1 repositories owned by Eason du

differentiable-idris

42
Stars
7
Forks
Watchers

dependent types meets deep learning

verified publisher icon doofin