CakeML: A Verified Implementation of ML | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

CakeML: A Verified Implementation of ML | Heykuki News

CakeML: A Verified Implementation of ML

github.com/CakeML

1 point

7 years ago

No comments

Threaded

Loading comments...