Public Notes on
View Public Collections
CakeML: A verified implementation of ML news.ycombinator.com
scott